Verifying the Summit Bus Converter Protocols with Symbolic Model Checking.

Cheryl Harkness Elizabeth Wolf

Published in: Formal Methods Syst. Des. (1994)

Keyphrases

symbolic model checking
model checking
temporal logic
formal verification
model checker
conformant planning
formal specification
partial observability
finite state
formal methods
single phase
data structure
computational complexity
symbolic representation