Login / Signup
Verifying the Correctness and Amortized Complexity of a Union-Find Implementation in Separation Logic with Time Credits.
Arthur Charguéraud
François Pottier
Published in:
J. Autom. Reason. (2019)
Keyphrases
</>
worst case
model checking
search tree
data sets
logic programming
modal logic
efficient implementation
classical logic
case study
bayesian networks
lower bound
complexity analysis
automated reasoning
verification method
micron cmos