On the construction of monitors for temporal logic properties

Research output: Contribution to journalArticleAcademicpeer-review

55 Citations (Scopus)
29 Downloads (Pure)

Abstract

Temporal logic is a valuable tool for specifying correctness properties of reactive programs. With the advent of temporal logic model checkers, it has become an important aid for the verification of concurrent and reactive systems. In model checking the temporal logic properties are verified against models expressed in the tool's modelling language. In addition, model-checking techniques are useful to test actual implementations or to verify models of the system that are too detailed to be analysed by a model checker, by means of, for instance, simulation.
Original languageEnglish
Pages (from-to)181-199
JournalElectronic Notes in Theoretical Computer Science
Volume55
Issue number2
DOIs
Publication statusPublished - 2001
EventRV'01-First Workshop on Runtime Verification - Paris, France
Duration: 23 Jul 200123 Jul 2001

Bibliographical note

Part of special issue:
RV'2001, Runtime Verification (in connection with CAV '01)
Edited by Klaus Havelund, Grigore Rosu

Fingerprint

Dive into the research topics of 'On the construction of monitors for temporal logic properties'. Together they form a unique fingerprint.

Cite this