Login / Signup
Coverage metrics for formal verification.
Hana Chockler
Orna Kupferman
Moshe Y. Vardi
Published in:
Int. J. Softw. Tools Technol. Transf. (2006)
Keyphrases
</>
formal verification
model checking
model checker
bounded model checking
automated verification
symbolic model checking
temporal logic
domain specific
multi agent systems
object oriented
orders of magnitude