2872 search results - page 147 / 575 » On (Omega-)Regular Model Checking |
116
Voted
LICS
2006
IEEE
15 years 9 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...
101
Voted
APSEC
2005
IEEE
15 years 9 months ago
2005
IEEE
88
Voted
DATE
2005
IEEE
15 years 9 months ago
2005
IEEE
110
Voted
ICCAD
2005
IEEE
15 years 9 months ago
2005
IEEE
146
Voted
ISORC
2005
IEEE
15 years 9 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...