3224 search results - page 226 / 645 » On Checking Model Checkers |
123
Voted
LICS
2006
IEEE
15 years 11 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...
DATE
2005
IEEE
15 years 10 months ago
2005
IEEE
160
click to vote
ISORC
2005
IEEE
15 years 10 months 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...