713 search results - page 18 / 143 » Model Checking and Transitive-Closure Logic |
190
Voted
FIW
2007
15 years 8 months 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 ...
156
Voted
CSL
2007
Springer
16 years 1 months ago
2007
Springer
167
Voted
PADL
2007
Springer
16 years 1 months ago
2007
Springer
183
Voted
LICS
2006
IEEE
16 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...
175
Voted
CAV
2004
Springer
16 years 24 days ago
2004
Springer
