Login / Signup
Formal Verification Techniques: Industrial Status and Perspectives.
Joel Blasquez
Marten van Hulst
Andrea Fedeli
Jean-Luc Lambert
Dominique Borrione
Coby Hanoch
Pierre Bricaud
Published in:
DATE (2002)
Keyphrases
</>
formal verification
model checking
bounded model checking
model checker
automated verification
industrial applications
symbolic model checking
technology transfer
program slicing
current status
industrial environment
functional verification