A TLA+ Proof System.

Kaustuv Chaudhuri Damien Doligez Leslie Lamport Stephan Merz

Published in: LPAR Workshops (2008)

Keyphrases

temporal logic
modal logic
model checker
model checking
linear time temporal logic
inference rules
intuitionistic logic
cut elimination
databases
neural network
relational databases
color images
scheduling problem
belief revision
linear logic