Echo: a new approach to formal verification based on Ada.

Published in: SIGAda (2009)

Keyphrases

formal verification
model checking
model checker
automated verification
symbolic model checking
bounded model checking
high frequency
program slicing
coloured petri nets
spectrum analysis
artificial intelligence
frequency domain
quasi periodic