698 search results - page 2 / 140 » Model Checking with Multi-valued Logics |
COMPSAC
2011
IEEE
12 years 7 months ago
2011
IEEE
CADE
2000
Springer
13 years 11 months ago
2000
Springer
MOVEP
2000
13 years 11 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...
LICS
2005
IEEE
14 years 28 days ago
2005
IEEE
Three-valued models, in which properties of a system are either true, false or unknown, have recently been advocated as a better representation for reactive program abstractions g...
CADE
2012
Springer
11 years 9 months ago
2012
Springer
We propose a word level, bounded model checking (BMC) algorithm based on translation into the effectively propositional fragment (EPR) of firstorder logic. This approach to BMC al...