Mostly Automated Formal Verification of Loop Dependencies with Applications to Distributed Stencil Algorithms.

Thomas Grégoire Adam Chlipala

Published in: J. Autom. Reason. (2019)

Keyphrases

formal verification
learning algorithm
computational complexity
computational cost
cooperative
optimization problems
data structure
significant improvement
model checking
object oriented
graphical models
computationally efficient
theoretical analysis
distributed environment