8 search results - page 1 / 2 » A Toolbox for the Verification of LOTOS Programs |
ICSE
1992
IEEE-ACM
13 years 8 months ago
1992
IEEE-ACM
This paper presents the tools Ald
TACAS
1997
Springer
13 years 8 months ago
1997
Springer
This paper describes a compositional approach to generate the labeled transition system representing the behavior of a Lotos program by repeatedly alternating composition and reduc...
SPIN
2007
Springer
13 years 10 months ago
2007
Springer
This paper describes a set of verification components that open the way to perform on-the-fly software model checking with the Cadp toolbox, originally designed for verifying the...
FM
2008
Springer
13 years 5 months ago
2008
Springer
TLM (Transaction-Level Modeling) was introduced to cope with the increasing complexity of Systems-on-Chip designs by raising the modeling level. Currently, TLM is primarily used fo...
ASYNC
2007
IEEE
13 years 8 months ago
2007
IEEE
Few formal verification techniques are currently available for asynchronous designs. In this paper, we describe a new approach for the formal verification of asynchronous architec...