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

Thomas Grégoire Adam Chlipala

Published in: ITP (2016)

Keyphrases

formal verification
learning algorithm
significant improvement
model checking
data structure
cooperative
optimization problems
distributed systems
theoretical analysis
evolutionary algorithm
computational cost
rough sets
data mining algorithms