Department of Informatics

TU München - Fakultät für Informatik
Chair IV: Software & Systems Engineering

TUM
 
PDF-Datei  On TLA as a logic

Article

Journal:Deductive Program Design
Author:Martin Abadi, Stephan Merz
Editor:Manfred Broy
Publisher:Springer
Year:1995
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 verification rules.
 
BibTeX

(c) 1999-2006 - Lehrstuhl Software & Systems Engineering
Sitemap |  Contact