Login / Signup
Integrating formal verification and conformance testing for reactive systems.
Camille Constant
Thierry Jéron
Hervé Marchand
Vlad Rusu
Published in:
IEEE Trans. Software Eng. (2007)
Keyphrases
</>
formal verification
reactive systems
model checking
temporal logic
model checker
automated verification
bounded model checking
symbolic model checking
formal specification
formal methods
linear temporal logic
program slicing
data mining
machine learning
relational databases
petri net