2407 search results - page 42 / 482 » A Tool for Abstraction in Model Checking |
DAGSTUHL
2006
14 years 11 months ago
2006
Abstract. The tool USE (UML-based Specification Environment) supports analysts, designers, and developers in executing UML models and checking OCL constraints and thus enables them...
CAV
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. We address the verification problem of programs manipulating oneselector linked data structures. We propose a new automated approach for checking safety and termination f...
101
click to vote
RTSS
1995
IEEE
15 years 1 months ago
1995
IEEE
E cient automatic model-checking algorithms for real-time systems have been obtained in recent years based on the state-region graph technique of Alur, Courcoubetis and Dill. Howe...
FATES
2005
Springer
15 years 3 months ago
2005
Springer
We propose a novel, practical coverage metric called “location pairs” (LP) for concurrently-accessed software components. The LP metric captures well common concurrency errors ...
IFIP
2004
Springer
15 years 3 months ago
2004
Springer
Ensuring correctness of software by formal methods is a very relevant and widely studied problem. Automatic verification of software using model checkers from the state space exp...