Algorithmic verification of asynchronous programs.

Pierre Ganty Rupak Majumdar

Published 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