On the construction of monitors for temporal logic properties

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

55 Citaten (Scopus)
29 Downloads (Pure)

Samenvatting

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.
Originele taal-2Engels
Pagina's (van-tot)181-199
TijdschriftElectronic Notes in Theoretical Computer Science
Volume55
Nummer van het tijdschrift2
DOI's
StatusGepubliceerd - 2001
EvenementRV'01-First Workshop on Runtime Verification - Paris, Frankrijk
Duur: 23 jul 200123 jul 2001

Bibliografische nota

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

Vingerafdruk

Duik in de onderzoeksthema's van 'On the construction of monitors for temporal logic properties'. Samen vormen ze een unieke vingerafdruk.

Citeer dit