model checking

[zhangpengyu]

Salut
les gars!

Quelqu'un pourrait-il suggérer quelques bons livres sur le modèle de contrôle (un type de vérification formelle)?Et bien la langue / les outils de model checking?
Merci!

zhangpengyu

 

[gerryhsu]

Ce livre aidera
Model Checking
Edmund M. Clarke, Orna Grumberg, Doron Peled A.

Editeur: The MIT Press (7 Janvier 2000)
ISBN: 0262032708

 

[Khorram]

Que voulez-vous connaître Model Checking?Si vous voulez savoir dans les détails,
voici un livre est pour vous:
"T. Kropf, Introduction à la vérification formelle Hardware, Spring Verlag,
janvier 2000".
Vous pouvez également télécharger la thèse de doctorat de McMillan intitulé "Symbolic Model Checking».
Dans cette thèse, vous serez semblable à CTL à un faible niveau de propriété langue.
Maintenant, le PSL est un langage de spécification, qui est téléchargeable sur Internet.
Si vous voulez savoir sur les pratiques de propriété langues, je vous recommande de lire la langue de l'E-Verisity Co.

Observe,
KH

 

[wmbasslake]

Lire le manuel de la cadence de la LEC ou de formalités de Synopsys

 

[negreponte]

Il est préférable d'utiliser le manuel de votre programme que vous utilisez à chaque fois