Algorithmic verification of asynchronous programs.
Pierre GantyRupak MajumdarPublished in: ACM Trans. Program. Lang. Syst. (2012)
Keyphrases
- asynchronous circuits
- hardware designs
- model checking
- symbolic execution
- formal methods
- concurrent systems
- computer programs
- database
- fixpoint
- asynchronous cellular automata
- false acceptance rate
- asynchronous communication
- automatic programming
- formal verification
- face verification
- logic programming
- case study
- website
- artificial intelligence