Symbolic Model Checking of Concurrent Programs Using Partial Orders and On-the-Fly Transactions.
Vineet KahlonAarti GuptaNishant SinhaPublished in: CAV (2006)
Keyphrases
- partial order
- symbolic model checking
- concurrent programs
- model checking
- process algebra
- temporal logic
- total order
- formal verification
- model checker
- formal specification
- partial observability
- database
- formal methods
- binary decision diagrams
- concurrent programming
- symbolic representation
- concurrent systems
- asynchronous circuits
- concurrent processes
- web applications
- knowledge acquisition