Vérification symbolique de modèles

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

Автор: Duy Tung Nguyen

Език:

Корици: С меки корици

Издател: Éditions universitaires européennes

Наличност: Външен склад

Изпращаме след 5-8 дни

79.43 € 155.35 лв

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

Информация за книгата

Автор

Duy Tung Nguyen

Език

Френски език

Корици

Книга - С меки корици

Издадена

2011

страници

200

EAN

9786131579783

Enbook ID

07026829

Издател

Éditions universitaires européennes

Теглоt

314

Размери

150 x 220 x 12

Пълно описание

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.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Vérification symbolique de modèles

Информация за книгата

Пълно описание

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също