3224 search results - page 226 / 645 » On Checking Model Checkers |
176
click to vote
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...
154
Voted
APSEC
2005
IEEE
16 years 21 days ago
2005
IEEE
224
click to vote
ISORC
2005
IEEE
16 years 20 days ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...