Applying Formal Verification with Protocol Compiler

Christian Stangier Ulrich Holtmann

Published in: Universität Trier, Mathematik/Informatik, Forschungsbericht (1999)

Keyphrases

formal verification
coloured petri nets
model checker
model checking
cryptographic protocols
bounded model checking
automated verification
temporal logic
programming language
symbolic model checking
program slicing
general purpose
lightweight
database systems
formal analysis
functional verification