Login / Signup

Armada: low-effort verification of high-performance concurrent programs.

Jacob R. LorchYixuan ChenManos KapritsosBryan ParnoShaz QadeerUpamanyu SharmaJames R. WilcoxXueyuan Zhao
Published in: PLDI (2020)
Keyphrases
  • concurrent programs
  • process algebra
  • model checking
  • concurrent systems
  • asynchronous circuits
  • formal methods
  • concurrent programming
  • temporal logic
  • database
  • high level
  • knowledge acquisition
  • fault tolerance