Login / Signup
The echo approach to formal verification.
Xiang Yin
Published in:
ICSE (2006)
Keyphrases
</>
formal verification
model checking
model checker
bounded model checking
automated verification
symbolic model checking
high frequency
program slicing
temporal logic
functional verification
spectrum analysis
coloured petri nets
formal specification