C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
A symbolic core approach to the formal verification of integrated mixed-mode applications.
Stefan Hendricx
Luc J. M. Claesen
Published in:
ED&TC (1997)
Keyphrases
</>
formal verification
mixed mode
model checking
bounded model checking
model checker
symbolic model checking
automated verification
code generation
data driven
symbolic representation