Back to Search

Journal article

On expressiveness and complexity in real-time model checking

Abstract:: Metric Interval Temporal Logic (MITL) is a popular formalism for expressing real-time specifications. This logic achieves decidability by restricting the precision of timing constraints, in particular, by banning so-called punctual specifications. In this paper we introduce a significantly more expressive logic that can express a wide variety of punctual specifications, but whose model-checking problem has the same complexity as that of MITL. We conclude that for model checking the most commo...
Expand abstract
Collapse abstract

Publication status:: Published

Actions

Email

Email this record

Send the bibliographic details of this record to your email address.

Your Email
Please enter the email address that the record information will be sent to.

-
Your message (optional)
Please add any additional information to be included within the email.
Cite

Cite this record

APA Style

Bouyer, P., Markey, N., Ouaknine, J., & Worrell, J. (2008). On expressiveness and complexity in real-time model checking. AUTOMATA, LANGUAGES AND PROGRAMMING, PT 2, PROCEEDINGS, 5126(PART 2), 124–135.

MLA Style

Bouyer, P., et al. “On Expressiveness and Complexity in Real-Time Model Checking.” AUTOMATA, LANGUAGES AND PROGRAMMING, PT 2, PROCEEDINGS, vol. 5126, no. PART 2, 2008, pp. 124–35.

Chicago Style

Bouyer, P, N Markey, J Ouaknine, and J Worrell. 2008. “On Expressiveness and Complexity in Real-Time Model Checking.” AUTOMATA, LANGUAGES AND PROGRAMMING, PT 2, PROCEEDINGS 5126 (PART 2): 124–35.
Tweet
Print

Access Document

Publisher copy:: 10.1007/978-3-540-70583-3_11

Authors

+ Bouyer, P More by this author

Role:

Author

+ Markey, N More by this author

Role:

Author

+ Ouaknine, J More by this author

Role:

Author

+ Worrell, J More by this author

Institution:

University of Oxford

Division:

MPLS

Department:

Computer Science

Role:

Author

Bibliographic Details

Journal:: AUTOMATA, LANGUAGES AND PROGRAMMING, PT 2, PROCEEDINGS
Volume:: 5126
Issue:: PART 2
Pages:: 124-135
Publication date:: 2008-01-01
DOI:: 10.1007/978-3-540-70583-3_11
EISSN:: 1611-3349
ISSN:: 0302-9743

Item Description

Language:: English
Pubs id:: pubs:291870
UUID:: uuid:c854a274-a688-468d-bde0-1bb59b2fc4d9
Local pid:: pubs:291870
Source identifiers:: 291870
Deposit date:: 2013-11-17

Terms of use

Copyright date:: 2008

Licence:: Terms and Conditions of Use for Oxford University Research Archive

Metrics

Views and Downloads

About views and downloads

If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP