Formale Verifikationsverfahren (Formal Verification).

Published in: Informationstechnik Tech. Inform. (2001)

Keyphrases

formal verification
model checking
model checker
automated verification
bounded model checking
symbolic model checking
program slicing
coloured petri nets
functional verification
open source
partial order
temporal logic