Algorithmic Verification of Asynchronous Programs
Pierre GantyRupak MajumdarPublished in: CoRR (2010)
Keyphrases
- asynchronous circuits
- hardware designs
- symbolic execution
- model checking
- computer programs
- test generation
- information retrieval
- information systems
- real time
- automatic programming
- discussion forums
- concurrent systems
- control program
- control structures
- program execution
- formal verification
- fixpoint
- formal analysis
- static analysis
- face verification
- database systems
- real world