Industrial Experience with Formal Verification (Industrielle Erfahrungen mit Formaler Verifikation).

Published in: Informationstechnik Tech. Inform. (2001)

Keyphrases

formal verification
model checking
model checker
symbolic model checking
automated verification
bounded model checking
industrial applications
program slicing
user experience
temporal logic
industrial environment