1;3409;0c Specifying and verifying systems with TLA+

Specifying and verifying systems with TLA+

Proceedings of the 10th ACM SIGOPS European Workshop, 2002
Pages: 45-48DOI: 10.1145/1133373.1133382

EW

bibtex

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.