698 search results - page 15 / 140 » Model Checking with Multi-valued Logics |
CSL
2007
Springer
14 years 1 months ago
2007
Springer
PADL
2007
Springer
14 years 1 months ago
2007
Springer
LICS
2006
IEEE
14 years 1 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...
CAV
2004
Springer
14 years 24 days ago
2004
Springer
ERSHOV
2001
Springer
13 years 12 months ago
2001
Springer
