Semi-formal Bounded Model Checking.

Jesse D. Bingham Alan J. Hu

Published in: CAV (2002)

Keyphrases

bounded model checking
model checking
formal verification
temporal logic
formal specification
linear temporal logic
formal methods
mathematical theory
genetic algorithm
multi agent systems
dynamic programming
general purpose
formal model