3224 search results - page 331 / 645 » On Checking Model Checkers |
215
click to vote
TVLSI
2008
15 years 6 months ago
2008
With increasing levels of integration of multiple processing cores and new features to support software functionality, recent generations of microprocessors face difficult validati...
174
click to vote
TACAS
1998
Springer
15 years 11 months ago
1998
Springer
A state/event model is a concurrent version of Mealy machines used for describing embedded reactive systems. This paper introduces a technique that uses compositionality and depend...
145
Voted
CHARME
2005
Springer
16 years 7 days ago
2005
Springer
Abstraction is the key for effectively dealing with the state explosion in model-checking. Unfortunately, finding abstractions which are small and yet enable us to get conclusive ...
170
click to vote
FASE
2005
Springer
16 years 7 days ago
2005
Springer
Model-checking is becoming an accepted technique for debugging hardware and software systems. Debugging is based on the “Check / Analyze / Fix” loop: check the system against a...
161
click to vote
FTCS
1993
15 years 8 months ago
1993
Fault tolerance requirements for near term disk array storage systems are analyzed. The excellent reliability provided by RAID Level 5 data organization is seen to be insu cient f...