C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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