2878 search results - page 157 / 576 » Model Checking FTA |
116
Voted
FM
2003
Springer
15 years 8 months ago
2003
Springer
130
click to vote
FM
2003
Springer
15 years 8 months ago
2003
Springer
Counterexamples explain why a desired temporal logic property fails to hold, and as such are considered to be the most useful form of output from model-checkers. Multi-valued model...
FSTTCS
2003
Springer
15 years 8 months ago
2003
Springer
APSEC
2002
IEEE
15 years 8 months ago
2002
IEEE
