Vérification symbolique de modèles

Name: Vérification symbolique de modèles
Brand: Éditions universitaires européennes
SKU: 9786131579783
Price: 417.23 RON
Availability: InStock

Autor: Duy Tung Nguyen

Limbă:

Legare: Carte broșată

Editura: Éditions universitaires européennes

Disponibilitate: În depozitul extern

Expediem în 5-8 zile

417.23 lei

Cette thčse propose un nouveau type de systčmes de ré-écriture, appelé les systčmes de ré-écriture f...

Informații despre carte

Autor

Duy Tung Nguyen

Limbă

franceză

Legare

Carte - Carte broșată

Publicat

2011

Pagini

200

EAN

9786131579783

Enbook ID

07026829

Editura

Éditions universitaires européennes

Greutate

314

Dimensiuni

150 x 220 x 12

Descriere completă

Cette thčse propose un nouveau type de systčmes de ré-écriture, appelé les systčmes de ré-écriture fonctionnels. Nous montrons que notre modčle a la puissance d'expression des systčmes de ré-écriture et qu'il est bien adapté ŕ l'étude de propriétés de sűreté et de propriétés de logique temporelle de modčles. Nous avons mis en évidence une sous classe de systčmes fonctionnels, les élémentaires et les élémentaires ŕ droite, préservant la puissance d'expression des systčmes fonctionnels et des techniques d'accélération des calculs aboutissant ŕ un outil de vérification symbolique efficace. Dans la partie expérimentale, nous avons comparé notre outil, d'une part avec des outils de ré-écriture tels que Timbuk, Maude et TOM, d'autre part avec des outils de vérification tels que SPIN, NuSMV, SMART, HSDD. Nos résultats démontrent l'efficacité des systčmes fonctionnels élémentaires pour la vérification de modčles.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Vérification symbolique de modèles

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și