Exploiting Symmetry and Transactions for Partial Order Reduction of Rule Based Specifications.
Ritwik BhattacharyaSteven M. GermanGanesh GopalakrishnanPublished in: SPIN (2006)
Keyphrases
- partial order reduction
- model checking
- formal specification
- petri net
- database
- expert systems
- reactive systems
- temporal logic
- finite state machines
- data driven
- rule based systems
- high level
- asynchronous circuits
- rule base
- neural network
- symmetry detection
- database transactions
- delay insensitive
- concurrency control
- website
- functional requirements
- specification language
- transaction model
- real time database systems
- databases