Use of Verification for Testing and Debugging of Complex Reactive Systems.

Mark B. Trakhtenbrot

Published in: SEFM (2005)

Keyphrases

reactive systems
model checking
formal methods
symbolic execution
software testing
test generation
high level
model based diagnosis
formal verification
real time
information flow
temporal logic
building blocks
supply chain
knowledge base
artificial intelligence
machine learning
databases