Echo: a practical approach to formal verification.

Elisabeth A. Strunk Xiang Yin John C. Knight

Published in: FMICS (2005)

Keyphrases

formal verification
model checking
bounded model checking
automated verification
model checker
coloured petri nets
symbolic model checking
spectrum analysis
high frequency
functional verification
multi agent systems
temporal logic
program slicing
search space
frequency domain