Login / Signup
Industrial Experience with Formal Verification.
Michael Payer
Published in:
MBMV (2000)
Keyphrases
</>
formal verification
model checking
model checker
automated verification
bounded model checking
symbolic model checking
user experience
temporal logic
industrial environment
industrial applications
technology transfer