Partial-Order Reduction in the Weak Modal Mu-Calculus.

Y. S. Ramakrishna Scott A. Smolka

Published in: CONCUR (1997)

Keyphrases

partial order reduction
model checking
transition systems
petri net
temporal logic
modal logic
formal specification
concurrent systems
genetic algorithm
search engine
data sets
relational databases
sequent calculus