Login / Signup
Benefits of Bounded Model Checking at an Industrial Setting.
Fady Copty
Limor Fix
Ranan Fraer
Enrico Giunchiglia
Gila Kamhi
Armando Tacchella
Moshe Y. Vardi
Published in:
CAV (2001)
Keyphrases
</>
bounded model checking
model checking
formal verification
temporal logic
industrial applications
linear temporal logic
multi agent systems
quality improvement
model checker
industrial processes
industrial environment