Explore Books on
model-checking (informatique)
1-3 of 3 Books
View Verification, model checking, and abstract interpretation By VMCAI 2004 (2004 Venice, Italy) 
Verification, model checking, and abstract interpretation
By VMCAI 2004 (2004 Venice, Italy)
View Formal methods in computer-aided design By FMCAD 2004 (2004 Austin, Texas) 
Formal methods in computer-aided design
By FMCAD 2004 (2004 Austin, Texas)
View Correct hardware design and verification methods By CHARME 2005 (2005 Saarbrüchen, Germany) 
Correct hardware design and verification methods
By CHARME 2005 (2005 Saarbrüchen, Germany)