3224 search results - page 226 / 645 » On Checking Model Checkers |
156
click to vote
LICS
2006
IEEE
16 years 17 days 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...
200
click to vote
ISORC
2005
IEEE
16 years 4 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...