Petri Net Based CTL Model Checking: Using a New Method to Construct OBDD Variable Order.

Leifeng He Guanjun Liu

Published in: TASE (2021)

Keyphrases

model checking
temporal logic
verification method
temporal properties
formal specification
model checker
finite state
formal verification
process algebra
knowledge base
dynamic programming
binary decision diagrams
automated verification