Efficient Reachability Analysis of Büchi Pushdown Systems for Hardware/Software Co-verification.

Juncao Li Fei Xie Thomas Ball Vladimir Levin

Published in: CAV (2010)

Keyphrases

reachability analysis
model checking
hardware software
embedded systems
hardware and software
formal methods
expert systems
formal specification
artificial intelligence
image processing
reinforcement learning
low cost
fault tolerance
efficient implementation