Browsing by author "Hendricx, Stefan"
Now showing items 1-4 of 4
-
A symbolic core approach to the formal verification of integrated mixed-mode applications
Hendricx, Stefan; Claesen, Luc (1997) -
Formally verified redundancy removal
Hendricx, Stefan; Claesen, Luc (1999) -
Symbolic multi-level verification of refinement
Hendricx, Stefan; Claesen, Luc (1999) -
Verification of finite-state-machine refinements using a symbolic technology
Hendricx, Stefan; Claesen, Luc (1999)