Avoidance of State Explosion Using Dependency Analysis in Model Checking Control Flow Model.

Sachoun Park Gihwon Kwon

Published in: ICCSA (5) (2006)

Keyphrases

model checking
transition systems
finite state machines
dependency analysis
temporal properties
control flow
reactive systems
verification method
formal verification
model checker
database
data flow
epistemic logic
ctl model update