nekton: A Linearizability Proof Checker.

Roland Meyer Anton Opaterny Thomas Wies Sebastian Wolff

Published in: CAV (1) (2023)

Keyphrases

theorem prover
theorem proving
linear logic
databases
data mining
computer vision
similarity measure
video sequences
natural deduction
proof search
proof planning
complete axiomatization
mathematical proofs