A verification strategy for timing constrained systems-Reference-Cited by-同舟云学术

A verification strategy for timing constrained systems

Published:1993 Issue: Volume: Page:151-163
ISSN:0302-9743
Container-title:Computer Aided Verification
language:
Short-container-title:

Author:

Balarin Felice,Sangiovanni-Vincentelli Alberto L.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-56496-9_13.pdf

Reference8 articles.

1. Rajeev Alur and David L. Dill. Automata for modelling real-time systems. In M.S. Paterson, editor, ICALP 90 Automata, languages, and programming: 17th international colloquium. Springer-Verlag, 1990. LNCS vol. 443.

2. Rajeev Alur, Alon Itai, R. P. Kurshan, and M. Yannakakis. Timing verification by successive approximation. In Proceeding of the Forth Workshop on Computer-Aided Verification (CAV '92), June 1992.

3. Felice Balarin and Alberto L. Sangiovanni-Vincentelli. Formal verification of timing constrained finite-state systems. Technical report, University of California Berkeley, 1992. UCB ERL M92/8.

4. David L. Dill. Timing assumptions and verifications of finite-state concurrent systems. In Joseph Sifakis, editor, Automatic Verification Methods for Finite-State Systems. Springer-Verlag, 1989. LNCS vol. 407.

5. Z. Har'El and R. P. Kurshan. Software for analysis of coordination. In Proceedings of the International Conference on System Science, pages 382–385, 1988.

Cited by 9 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A mixed event-value based specification model for reactive systems;System-on-Chip Methodologies & Design Languages;2001

2. Timing analysis in COSPAN;Hybrid Systems III;1996

3. A case study in computer-aided co-design of embedded controllers;Design Automation for Embedded Systems;1996-01

4. Verification of real-time systems by successive over and under approximation;Computer Aided Verification;1995

5. Decidability of hybrid systems with rectangular differential inclusions;Computer Aided Verification;1994