@inproceedings{chaudhuri2010verifying,
author = {Chaudhuri, Kaustuv and Doligez, Damien and Lamport, Leslie and Merz, Stephan},
title = {Verifying Safety Properties With the TLA+ Proof System},
booktitle = {Fifth International Joint Conference on Automated Reasoning (IJCAR), Edinburgh, UK.},
year = {2010},
month = {July},
abstract = {% This was essentially a progress report on the development of the TLAPS proof system.  I believe it describes the state of the system, largely implemented by Chaudhuri, at the end of his post-doc position on the project.},
url = {http://approjects.co.za/?big=en-us/research/publication/verifying-safety-properties-tla-proof-system/},
pages = {142-148},
edition = {Fifth International Joint Conference on Automated Reasoning (IJCAR), Edinburgh, UK.},
}