Verifying Safety Properties With the TLA+ Proof System

Kaustuv Chaudhuri Damien Doligez Leslie Lamport Stephan Merz

Published in: CoRR (2010)

Keyphrases

temporal logic
model checking
neural network
structural properties
database
decision making
case study
model checker