21 search results - page 1 / 5 » Model-Checking: A Tutorial Introduction |
SAS
1999
Springer
15 years 1 months ago
1999
Springer
MOVEP
2000
15 years 1 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...
84
Voted
SPIN
2007
Springer
15 years 3 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...
170
Voted
AB
2008
Springer
15 years 3 months ago
2008
Springer
226
Voted
Tutorial
A very detailed and easy to follow tutorial on the EM algorithm.