Reconstruction of TLAPS Proofs Solved by VeriT in Lambdapi

Alessio Coltellacci
Digital Printed Abstract View Cite
Type
Short Paper (PhD Symposium)
Publication
9th International Conference on Rigorous State Based Methods (ABZ'23)

Abstract

TLAPS, the TLA+ proof system [4], is a proof assistant for the development and mechanical verification of TLA(^+) proofs.

Document

If you cannot see the document below, the PDF document is most likely not freely accessible. In this case, please try to access the document via this link.

Reference

% BibTex
@inproceedings{Alessio23,
  author       = {Alessio Coltellacci},
  editor       = {Uwe Gl{\"{a}}sser and
                  Jos{\'{e}} Creissac Campos and
                  Dominique M{\'{e}}ry and
                  Philippe A. Palanque},
  title        = {Reconstruction of {TLAPS} Proofs Solved by VeriT in Lambdapi},
  booktitle    = {Rigorous State-Based Methods - 9th International Conference, {ABZ}
                  2023, Nancy, France, May 30 - June 2, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14010},
  pages        = {375--377},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-33163-3\_29},
  doi          = {10.1007/978-3-031-33163-3\_29},
  timestamp    = {Tue, 23 Jul 2024 16:28:21 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/Alessio23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
ABZ'23

Related