713 search results - page 18 / 143 » Model Checking and Transitive-Closure Logic |
FIW
2007
15 years 8 days ago
2007
Feature interaction detection methods, whether online or offline, depend on previous knowledge of conflicts between the actions executed by the features. This knowledge is usually ...
CSL
2007
Springer
15 years 5 months ago
2007
Springer
PADL
2007
Springer
15 years 5 months ago
2007
Springer
LICS
2006
IEEE
15 years 4 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
15 years 4 months ago
2004
Springer
