Login / Signup
Formale Verifikation für Nicht-Formalisten (Formal Verification for Non-Formalists).
Jörg Bormann
Christoph Spalinger
Published in:
Informationstechnik Tech. Inform. (2001)
Keyphrases
</>
formal verification
model checking
automated verification
model checker
bounded model checking
coloured petri nets
functional verification
program slicing
expert systems
symbolic model checking
object oriented
distributed systems
software development