12981 search results - page 224 / 2597 » Model Checking (Abstract) |
117
click to vote
ERSHOV
2003
Springer
15 years 8 months ago
2003
Springer
We present several new algorithms as well as new lower and upper bounds for optimizing functions underlying infinite games pertinent to computer-aided verification.
98
Voted
ERSHOV
2003
Springer
15 years 8 months ago
2003
Springer
116
Voted
FM
2003
Springer
15 years 8 months ago
2003
Springer
129
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
