4341 search results - page 198 / 869 » Quantitative Model checking |
FASE
2003
Springer
15 years 5 months ago
2003
Springer
86
Voted
FM
2003
Springer
15 years 5 months ago
2003
Springer
109
Voted
FM
2003
Springer
15 years 5 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...
65
Voted
FSTTCS
2003
Springer
15 years 5 months ago
2003
Springer
59
Voted
APSEC
2002
IEEE
15 years 5 months ago
2002
IEEE
