Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

27

ENTCS
2006

favoriteEmaildiscussreport

114views more ENTCS 2006»

Run-Time Checking of Dynamic Properties

13 years 11 months ago

Run-Time Checking of Dynamic Properties

Download react.cs.uni-sb.de

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 efficiently checked over an execution trace of a system.

Oleg Sokolsky, Usa Sammapun, Insup Lee, Jesung Kim

Real-time Traffic

ENTCS 2006 | First-order Property Specification | Linear-time Temporal Logic | Usual First-order Quantifiers |

claim paper

Related Content

» Secure Embedded Processing through HardwareAssisted RunTime Monitoring

» Integrating Software Testing and RunTime Checking in an Assertion Verification Framework

» Statistical Properties of Task Running Times in a GlobalScale Grid Environment

» An AsmL Semantics for Dynamic Structures and Run Time Schedulability in UMLRT

» Detecting Potential Deadlocks with Static Analysis and RunTime Monitoring

» Static Analysis of RunTime Errors in Embedded Critical Parallel C Programs

» Certifying Compilation and RunTime Code Generation

» Compiler and tool support for debugging object protocols

» Symbolic Model Checking of Nonregular Properties

Post Info
More Details (n/a)

Added	12 Dec 2010
Updated	12 Dec 2010
Type	Journal
Year	2006
Where	ENTCS
Authors	Oleg Sokolsky, Usa Sammapun, Insup Lee, Jesung Kim

Comments (0)