Mechanically verified proof obligations for linearizability.

John Derrick Gerhard Schellhorn Heike Wehrheim

Published in: ACM Trans. Program. Lang. Syst. (2011)

Keyphrases

theorem prover
deontic logic
automated theorem proving
mathematical proofs
neural network
theorem proving
agent architecture
natural deduction
linear logic
information retrieval
genetic algorithm
information systems
proof planning