227 search results - page 1 / 46 » Tutorial: Parallel Model Checking |
SPIN
2007
Springer
13 years 10 months ago
2007
Springer
d Abstract) Luboˇs Brim and Jiˇr´ı Barnat Faculty of Informatics, Masaryk University, Brno, Czech Republic With the increase in the complexity of computer systems, it becomes e...
MOVEP
2000
13 years 8 months ago
2000
We survey principles of model checking techniques for the automatic analysis of reactive systems. The use of model checking is exemplified by an analysis of the Needham-Schroeder p...
AB
2008
Springer
13 years 11 months ago
2008
Springer
ICCAD
2005
IEEE
13 years 10 months ago
2005
IEEE
SAS
1999
Springer
13 years 9 months ago
1999
Springer