3909 search results - page 167 / 782 » Extreme Model Checking |
80
Voted
FASE
2003
Springer
15 years 3 months ago
2003
Springer
64
Voted
FM
2003
Springer
15 years 3 months ago
2003
Springer
94
Voted
FM
2003
Springer
15 years 3 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 3 months ago
2003
Springer
APSEC
2002
IEEE
15 years 3 months ago
2002
IEEE
