-
SystemC waiting-state automata
International audience -
Timed SystemC waiting-state automata
International audience -
Exp.Open 2.0: A Flexible Tool Integrating Partial Order, Compositional, and O...
It is desirable to integrate formal verification techniques applicable to different languages. We present EXP.OPEN 2.0, a new tool of the CADP verification toolbox... -
Abstraction over Public Interfaces
The use of public interfaces as a means of encapsulating method implementations has become standard in software design, but still requires the development of...
