Login / Signup
Protocol Verification System for SDL Specifications Based on Acyclic Expansion Algorithm and Temporal Logic.
Hironori Saito
Toru Hasegawa
Yoshiaki Kakuda
Published in:
FORTE (1991)
Keyphrases
</>
temporal logic
verification method
model checking
np hard
search space
model checker
optimal solution
computational complexity
dynamic programming
matching algorithm
concurrent systems
knowledge base
relational databases
formal methods