Verification Algorithms for Automated Separation Logic Verifiers.

Marco Eilers Malte Schwerhoff Peter Müller

Published in: CAV (1) (2024)

Keyphrases

times faster
machine learning
learning algorithm
orders of magnitude
theoretical analysis
computational cost
recently developed
computational efficiency
model checking
worst case
computational complexity
data structure
optimization problems
data sets
image processing
social networks
data mining