TLA+ Proofs

Denis Cousineau Damien Doligez Leslie Lamport Stephan Merz Daniel Ricketts Hernán Vanzetto

Published in: CoRR (2012)

Keyphrases

temporal logic
theorem proving
theorem prover
equational theories
automated theorem proving
formal proof
formal proofs
mathematical proofs
image processing
data structure
search algorithm
pattern recognition
relational databases
decision procedures