BibTeX
@ARTICLE{Merz03onthe,
author = {Stephan Merz},
title = {On the Logic of TLA+},
journal = {Computers and Informatics},
year = {2003},
volume = {22},
pages = {2003}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
TLA+ is a language intended for the high-level specification of reactive, distributed, and in particular asynchronous systems. Combining the linear-time temporal logic TLA and classical set-theory, it provides an expressive specification formalism and supports assertional verification.
