Patterns for Timed Property Specifications |
| |
Authors: | Volker Gruhn Ralf Laue |
| |
Affiliation: | Chair of Applied Telematics / e-Business, Computer Science Faculty, University of Leipzig, Leipzig, Germany1 |
| |
Abstract: | 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. |
| |
Keywords: | patterns formal specification real-time verification |
本文献已被 ScienceDirect 等数据库收录! |
|