Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Specifying and verifying systems with TLA+

Leslie Lamport, John Matthews, Mark Tuttle, and Yuan Yu

Abstract

TLA+ is a high-level specification language that has been used to specify and check the correctness of several hardware protocols. We expect that it can also be used to specify and check concurrent algorithms and protocols for software systems.

Details

Publication typeInproceedings
Published inProceedings of the Tenth ACM SIGOPS European Workshop
URLhttp://www.acm.org/
Pages45–48
OrganizationINRIA (Institut National de Recherche en Informatique et en Automatique)
AddressSaint-Emilion, France
PublisherAssociation for Computing Machinery, Inc.
> Publications > Specifying and verifying systems with TLA+