Journal article
Towards a Theory of Time-Bounded Verification.
- Abstract:
- We propose a theory of time-bounded verification for real-time systems, in which verification queries are phrased over time intervals of fixed, bounded duration. We argue that this theory is both pertinent, in that it is fully adequate to handle a large proportion of 'real-world' real-time systems and specifications; and effective, in that the restriction to bounded time domains reclaims as decidable several of the key decision problems of unbounded real-time verification. Finally, we discuss several directions of ongoing and future work. © 2010 Springer-Verlag Berlin Heidelberg.
- Publication status:
- Published
Actions
Authors
Contributors
+ Abramsky, S
- Role:
- Editor
+ Gavoille, C
- Role:
- Editor
+ Kirchner, C
- Role:
- Editor
+ Heide, F
- Role:
- Editor
+ Spirakis, P
- Role:
- Editor
- Publisher:
- Springer
- Journal:
- ICALP (2) More from this journal
- Volume:
- 6199
- Issue:
- PART 2
- Pages:
- 22-37
- Publication date:
- 2010-01-01
- DOI:
- EISSN:
-
1611-3349
- ISSN:
-
0302-9743
- Language:
-
English
- Pubs id:
-
pubs:300108
- UUID:
-
uuid:d8eb7b2a-822c-4c0a-b1f5-579296a6fb67
- Local pid:
-
pubs:300108
- Source identifiers:
-
300108
- Deposit date:
-
2012-12-19
Terms of use
- Copyright date:
- 2010
If you are the owner of this record, you can report an update to it here: Report update to this record