Symbolic Partial Order Reduction for Rule Based Transition Systems.

Ritwik Bhattacharya Steven M. German Ganesh Gopalakrishnan

Published in: CHARME (2005)

Keyphrases

model checking
partial order reduction
transition systems
temporal logic
model checker
formal verification
finite state
formal specification
binary decision diagrams
concurrent systems
formal methods
expert systems