698 search results - page 15 / 140 » Model Checking with Multi-valued Logics |
92
Voted
CSL
2007
Springer
15 years 9 months ago
2007
Springer
99
Voted
PADL
2007
Springer
15 years 9 months ago
2007
Springer
113
click to vote
LICS
2006
IEEE
15 years 9 months ago
2006
IEEE
We motivate and study a generic relaxation of correctness of reactive and concurrent systems with respect to a temporal specification. We define a system to be fairly correct if...
