Login / Signup
Applying a Theorem Prover to the Verification of Optimistic Replication Algorithms.
Abdessamad Imine
Michaël Rusinowitch
Published in:
Rewriting, Computation and Proof (2007)
Keyphrases
</>
theorem prover
formal proof
data structure
computationally efficient
theorem proving
learning algorithm
computational complexity
optimization problems
automated reasoning