C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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