Simplifying proofs of linearisability using layers of abstraction.

Brijesh Dongol John Derrick

Published in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2013)

Keyphrases

high level
multi layer
theorem proving
real time
mathematical proofs
formal proof
high level abstractions
formal proofs
decision theoretic planning
relational databases
search algorithm
website
information systems
first order logic
data abstraction
decision making
search engine
database