2407 search results - page 345 / 482 » A Tool for Abstraction in Model Checking |
178
click to vote
CAV
2011
Springer
14 years 9 months ago
2011
Springer
Abstract. A fundamental question in the treatment of cardiac disorders, such as tachycardia and fibrillation, is under what circumstances does such a disorder arise? To answer to ...
205
click to vote
AMOST
2007
ACM
15 years 10 months ago
2007
ACM
When integrating dierent system components, the interaction between dierent features is often error prone. Typically errors occur on interruption, concurrency or disabling/ enabli...
164
click to vote
SPIN
2009
Springer
16 years 23 days ago
2009
Springer
Abstract. Symbolic reachability analysis provides a basis for the verification of software systems by offering algorithmic support for the exploration of the program state space ...
167
click to vote
MICS
2010
15 years 4 months ago
2010
Abstract. There is something of a discontinuity at the heart of popular tactical theorem provers. Low-level, fully-checked mechanical proofs are large trees consisting of primitive...
151
Voted
VMCAI
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Because of its critical importance underlying all other software, lowlevel system software is among the most important targets for formal verification. Low-level systems...