Run-Time Checking of Dynamic Properties

Loading...
Thumbnail Image
Penn collection
Departmental Papers (CIS)
Degree type
Discipline
Subject
Funder
Grant number
License
Copyright date
Distributor
Related resources
Contributor
Abstract

We consider a first-order property specification language for run-time monitoring of dynamic systems. The language is based on a linear-time temporal logic and offers two kinds of quantifiers to bind free variables in a formula. One kind contains the usual first-order quantifiers that provide for replication of properties for dynamically created and destroyed objects in the system. The other kind, called attribute quantifiers, is used to check dynamically changing values within the same object. We show that expressions in this language can be eficiently checked over an execution trace of a system.

Advisor
Date of presentation
2005-07-12
Conference name
Departmental Papers (CIS)
Conference dates
2023-05-16T22:34:52.000
Conference location
Date Range for Data Collection (Start Date)
Date Range for Data Collection (End Date)
Digital Object Identifier
Series name and number
Volume number
Issue number
Publisher
Publisher DOI
Journal Issue
Comments
Postrpint version. Proceedings of the Fifth Workshop on Runtime Verification (RV'05) Note: This is a preliminary version. The final version will be published in Electronic Notes in Theoretical Computer Science Publisher URL: www.elsevier.nl/locate/entcs
Recommended citation
Collection