Verification of Distributed Applications by translating CCS to Binary Decision Diagrams.

Klaus Gotthardt Reiner Lichtenecker

Published in: FBT (1997)

Keyphrases

binary decision diagrams
model checking
symbolic model checking
model checker
formal verification
temporal logic
boolean functions
variable ordering
formal specification
real world
formal methods
heuristic search
planning problems
database
knowledge compilation
general purpose
information retrieval
databases