Patterns for Timed Property Specifications
Open Access
- 23 May 2006
- journal article
- Published by Elsevier BV in Electronic Notes in Theoretical Computer Science
- Vol. 153 (2), 117-133
- https://doi.org/10.1016/j.entcs.2005.10.035
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Automata for modeling real-time systemsPublished by Springer Science and Business Media LLC ,2005
- Real-time specification patternsPublished by Association for Computing Machinery (ACM) ,2005
- Symbolic model checking for real-time systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Deriving operational software specifications from system goalsPublished by Association for Computing Machinery (ACM) ,2002
- Model Checking Timed UML State Machines and CollaborationsLecture Notes in Computer Science, 2002
- Verification of Quantitative Temporal Properties of SDL SpecificationsLecture Notes in Computer Science, 2001
- Specification of Real-Time Systems in UMLElectronic Notes in Theoretical Computer Science, 2000
- A Language Framework for Expressing Checkable Properties of Dynamic SoftwareLecture Notes in Computer Science, 2000
- Patterns in property specifications for finite-state verificationPublished by Association for Computing Machinery (ACM) ,1999
- Property specification patterns for finite-state verificationPublished by Association for Computing Machinery (ACM) ,1998