Compositional model-checking for real-time systems
Pages 99 - ff.
Abstract
No abstract available.
References
[1]
1. Alur R. and Dill D. A theory of timed automata. Theoretical Computer Science, 1994, 126:183-235.
[2]
2. Zhou Chaochen, Hoare C A R. and Ravn A P. A calculus of duration. Information Processing Letters, 1991, 40(5): 269-276.
[3]
3. Zhao Chaochen, Hansen M R and Sestott P. Decidability and undecidability results for duration calculus. LNCS 665, Springer-Verlag, 1993, 58-68.
[4]
4. Laroussinie F. and Larsen K G. Compositional model checking of real time systems. Technical Report RS-95-19, BRICS, University of Aarhus, Denmark, 1995.
[5]
5. Larsen K L., Pettersson P. and Wang Yi. Model-checking for real-time systems, in:Proceedings of the 10th International Conference on Foundamentals of Computation Theory, LNCS 965, 1996, 62-88.
Index Terms
- Compositional model-checking for real-time systems
Recommendations
Compositional and symbolic model-checking of real-time systems
RTSS '95: Proceedings of the 16th IEEE Real-Time Systems SymposiumEfficient automatic model-checking algorithms for real-time systems have been obtained in recent years based on the state-region graph technique of Alur, Courcoubetis and Dill (1990). However, these algorithms are faced with two potential types of ...
Real-Time Symbolic Model Checking for Hard Real-Time Systems
RTCSA '99: Proceedings of the Sixth International Conference on Real-Time Computing Systems and ApplicationsWe develop real-time symbolic model checking. Real-time systems can be described using timed automata. Although there exist model-checking algorithms for timed automata, the problem is intractable. In this paper, we propose a symbolic model-checking ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
Copyright © 1998 Authors.
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 01 January 1998
Published in SIGSOFT Volume 23, Issue 1
Check for updates
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 169Total Downloads
- Downloads (Last 12 months)21
- Downloads (Last 6 weeks)5
Reflects downloads up to 30 Dec 2024
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in