model checking

[zhangpengyu]

Hoi
guys!

Kan iemand suggereren enkele goede boeken over model checking (een soort van formele verificatie)?En goede taal / tools om model te controleren?
Bedankt!

zhangpengyu

 

[gerryhsu]

Dit boek zal helpen
Model checking
door Edmund M. Clarke, Orna Grumberg, Doron A. Peled

Uitgever: The MIT Press (January 7, 2000)
ISBN: 0262032708

 

[khorram]

Wat wilt u weten over Model gecontroleerd?Als u wilt weten in details, het volgende boek is geschikt voor u:
"T. Kropf, Inleiding tot Formele Hardware Controle, Spring Verlag,
jan 2000".
Ook kunt u downloaden van de PhD thesis van McMillan getiteld "Symbolische model checking".
In dit proefschrift wordt u vergelijkbaar met CTL, zoals een laag niveau eigendom taal.
Nu is de PSL is een standaard specificatie taal die is te downloaden van het internet.
Als u wilt weten over een aantal praktische eigendom talen, adviseer ik u om te lezen E-taal van Verisity
Co
Groeten,
KH

 

[wmbasslake]

Lees de gebruikersgids van Lec uit cadans of formaliteit van Synopsys

 

[negreponte]

Het is beter gebruik te maken van de handleiding van uw programma dat u elke keer