Login / Signup
Formal Verification of Authenticated, Append-Only Skip Lists in Agda: Extended Version.
Victor Cacciari Miraldo
Harold Carr
Mark Moir
Lisandra Silva
Guy L. Steele Jr.
Published in:
CoRR (2021)
Keyphrases
</>
formal verification
model checking
model checker
automated verification
bounded model checking
symbolic model checking
functional verification
object oriented
temporal logic
key exchange protocol
program slicing