On TLA

Abstract

We describe the Temporal Logic of Actions (TLA) from a logical perspective. After giving the syntax and semantics of TLA, we discuss some methods for representing reactive systems in TLA and study veriication rules. 1 The L in TLA The Temporal Logic of Actions (TLA) is a variant of temporal logic, designed for the speciication and veriication of reactive… (More)

Topics

Cite this paper

@inproceedings{Merz1996OnT, title={On TLA}, author={Stephan Merz}, year={1996} }