Automata-Based Verification of Temporal Properties on Running Programs.

Dimitra Giannakopoulou Klaus Havelund

Published in: ASE (2001)

Keyphrases

temporal properties
model checking
formal methods
temporal logic
formal verification
formal specification
possibility theory
symbolic execution
hardware designs
expert systems
neural network
control system
fuzzy logic
knowledge based systems
java bytecode