Combining formal verification and conformance testing for validating reactive systems.

Published in: Softw. Test. Verification Reliab. (2003)

Keyphrases

formal verification
reactive systems
model checking
temporal logic
model checker
bounded model checking
symbolic model checking
automated verification
formal specification
formal methods
program slicing
state machines
information systems
machine learning
decision making
linear temporal logic