Static Partial-Order Reduction of Concurrent Systems in Polynomial Time.
Robert MittermayrJohann BliebergerPublished in: ISoLA (2008)
Keyphrases
- concurrent systems
- partial order reduction
- model checking
- temporal logic
- petri net
- dynamic analysis
- formal specification
- process algebra
- transition systems
- finite state
- special case
- formal methods
- computational complexity
- worst case
- database
- relational databases
- approximation algorithms
- np hardness
- bounded treewidth
- artificial intelligence
- complexity theoretic
- genetic algorithm