Vérification symbolique de modèles

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

Szerző: Duy Tung Nguyen

Nyelv:

Kötés: Puha kötésű

Kiadó: Éditions universitaires européennes

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

29 750 Ft

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

Információk a könyvről

Szerző

Duy Tung Nguyen

Nyelv

Francia

Kötés

Könyv - Puha kötésű

Kiadva

2011

oldal

200

EAN

9786131579783

Enbook ID

07026829

Kiadó

Éditions universitaires européennes

Súly

314

Méretek

150 x 220 x 12

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Vérification symbolique de modèles

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták