460 search results - page 2 / 92 » Translating Software Designs for Model Checking |
APSEC
2001
IEEE
13 years 8 months ago
2001
IEEE
This paper investigates model checking Object-Z classes via their translation to the input notation of the CSP model checker FDR. Such a translation must not only be concerned wit...
FM
2003
Springer
13 years 10 months ago
2003
Springer
Software systems are often model checked by translating them into a directly model-checkable formalism. Any serious software system requires application of compositional reasoning ...
WWW
2005
ACM
14 years 5 months ago
2005
ACM
A software design is often modeled as a collection of unified Modeling Language (UML) diagrams. There are different aspects of the software system that are covered by many differe...
SIGSOFT
1996
ACM
13 years 9 months ago
1996
ACM
In this paper we present our experiences in using symbolic model checking to analyze a specification of a software system for aircraft collision avoidance. Symbolic model checking ...
WWW
2006
ACM
14 years 5 months ago
2006
ACM
The need of formal verification is a problem that involves all the fields in which sensible data are managed. In this context the verification of data streams became a fundamental...