Thread modularity at many levels: a pearl in compositional verification.

Jochen Hoenicke Rupak Majumdar Andreas Podelski

Published in: POPL (2017)

Keyphrases

model checking
high levels
data mining
causal models
levels of abstraction
face verification
asynchronous circuits
databases
artificial intelligence
database systems
formal methods
concurrent systems
functional verification