Patterns for Timed Property Specifications | Zendy

Volker Gruhn | Zendy; Ralf Laue | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Patterns for Timed Property Specifications

Author(s) -

Volker Gruhn,

Ralf Laue

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.2005.10.035

Subject(s) - computer science , property (philosophy) , formal specification , programming language , formal methods , model checking , formal verification , state (computer science) , specification language , system requirements specification , theoretical computer science , software engineering , philosophy , epistemology

Patterns for property specification enable non-experts to write formal specifications that can be used for automatic model checking. The existing patterns identified in [Dwyer, M.B., G.S. Avrunin and J.C. Corbett, Property specification patterns for finite-state verification, in: FMSP '98: Proceedings of the second workshop on Formal methods in software practice (1998), pp. 7–15] allow to reason about occurrence and order of events, but not about their timing. We extend this pattern system by patterns related to time. This allows the specification of real-time requirements

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