Run-Time Checking of Dynamic Properties | Zendy

Oleg Sokolsky | Zendy; Usa Sammapun | Zendy; Insup Lee | Zendy; Jesung Kim | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Run-Time Checking of Dynamic Properties

Author(s) -

Oleg Sokolsky,

Usa Sammapun,

Insup Lee,

Jesung Kim

Publication year - 2006

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2006.02.006

Subject(s) - computer science , trace (psycholinguistics) , property (philosophy) , linear temporal logic , programming language , temporal logic , object (grammar) , specification language , theoretical computer science , algorithm , artificial intelligence , philosophy , linguistics , epistemology

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

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research