Login / Signup
Bounded model checking.
Armin Biere
Alessandro Cimatti
Edmund M. Clarke
Ofer Strichman
Yunshan Zhu
Published in:
Adv. Comput. (2003)
Keyphrases
</>
bounded model checking
model checking
formal verification
temporal logic
linear temporal logic
multi agent systems
dynamic programming
formal specification