Verifying Safety Properties with the TLA+ Proof System.

Kaustuv Chaudhuri Damien Doligez Leslie Lamport Stephan Merz

Published in: IJCAR (2010)

Keyphrases

desirable properties
structural properties
computer vision
temporal logic
modal logic
real time
e learning
image processing
multi agent
expert systems