Mechanized verification of fine-grained concurrent programs.

Ilya Sergey Aleksandar Nanevski Anindya Banerjee

Published in: PLDI (2015)

Keyphrases

fine grained
concurrent programs
process algebra
concurrent systems
model checking
coarse grained
asynchronous circuits
formal methods
access control
concurrent programming
tightly coupled
massively parallel
web applications
temporal logic
concurrent processes
data lineage
machine learning
relational databases