149 search results - page 17 / 30 » Abstract Model Checking of Infinite Specifications |
SIGSOFT
2010
ACM
13 years 3 months ago
2010
ACM
Specification and verification of real-time systems are important research topics which have practical implications. In this work, we present a self-contained toolkit to analyze r...
B
2007
Springer
14 years 13 days ago
2007
Springer
Abstract. A recent contribution to the formal specification and verification of concurrent systems is the integration of the state- and event-based approaches B and CSP, specifical...
SIGSOFT
2005
ACM
14 years 9 months ago
2005
ACM
Previous work has proven typestates to be useful for modeling protocols in object-oriented languages. We build on this work by addressing substitutability of subtypes as well as i...
SEKE
2010
Springer
13 years 6 months ago
2010
Springer
Abstract--Property specification is still one of the most challenging tasks for transference of software verification technology like model checking. The use of patterns has been p...
ICSE
1999
IEEE-ACM
14 years 21 days ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...