Parametric analysis of computer systems

Formal Methods in System Design

Volumn 17, Issue 1, 2000, Pages 39-60

  Wang, Farn ^a  

^a INSTITUTE OF INFORMATION SCIENCE   (Taiwan)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; AUTOMATA THEORY; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SYSTEMS PROGRAMMING; FORMAL LOGIC; RESPONSE TIME (COMPUTER SYSTEMS); SET THEORY; STATISTICAL METHODS; THEOREM PROVING; TREES (MATHEMATICS);

KLEENE'S CLOSURE ALGORITHMS; LABELING ALGORITHMS; PARAMETRIC COMPUTATION TREE LOGIC (PCTL); PERIODICAL NORMAL FORM (PNF); STATICALLY PARAMETRIC AUTOMATA (SPA);

REAL TIME SYSTEMS;

EID: 0034239319     PISSN: 09259856     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1008782501688     Document Type: Article

References (14)

1. R. Alur, C. Courcoubetis, and D.L. Dill, "Model-checking in dense real-time," Information and Computation Vol. 104, No. 1, pp. 2-34, 1993.
2. R. Alur and D. Dill, "Automata for modeling real-time systems," in Automata, Languages and Programming: Proceedings of the 17th ICALP, 1990. Lecture Notes in Computer Science, Vol. 443, Springer-Verlag, Berlin/New York, pp. 332-335.
3. R. Alur and T.A. Henzinger, "Real-time logics: Complexity and expressiveness," in Proceedings, 5th IEEE LICS, 1990, pp. 390-401.
4. R. Alur, T.A. Henzinger, and M.Y. Vardi, "Parametric real-time reasoning," in Proceedings, 25th ACM STOC, 1993, pp. 592-601.
5. 20 states and beyond," in IEEE LICS, 1990, pp. 428-439.
6. R.E. Bryant, "Graph-based algorithms for boolean function manipulation," IEEE Trans. Comput., Vol. C-35, No. 8, pp. 677-691, 1986.
7. E. Clarke and E.A. Emerson, "Design and synthesis of synchronization skeletons using branching-time temporal logic," in Proceedings, Workshop on Logic of Programs, 1981. LNCS, Vol. 131, Springer-Verlag, pp. 52-71.
8. E. Clarke, E.A. Emerson, and A.P. Sistla, "Automatic verification of finite-state concurrent systems using temporal-logic specifications," ACM Trans. Programming, Languages, and Systems, Vol. 8, No. 2, pp. 244-263, 1986.
9. C. Courcoubetis and M. Yannakakis, "Minimum and maximum delay problems in real-time systems," Formal Methods in System Design, Vol. 1, pp. 385-415, 1992. Also in Proceedings, 3rd CAV, 1991, Springer-Verlag, LNCS, Vol. 575.
10. C. Courcoubetis and M. Yannakakis, "Minimum and maximum delay problems in real-time systems," Formal Methods in System Design, Vol. 1, pp. 385-415, 1992. Also in Proceedings, 3rd CAV, 1991, Springer-Verlag, LNCS, Vol. 575.
11. T.A. Henzinger, R-H. Ho, and H. Wong-Toi, "HyTech: The next generation," in Proceedings of the 16th Annual Real-Time System Symposium, IEEE Computer Society Press, 1995, pp. 56-65.
12. T.A. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine, "Symbolic model checking for real-time systems," in IEEELICS, 1992, pp. 394-406.
13. F. Wang, "Parametric timing analysis for real-time systems," Information and Computation, Vol. 130, No. 2, Academic Press, 1996, ISSN 0890-5401, pp. 131-150. Also in Proceedings, 10th IEEE Symposium on Logic in Computer Science, 1995.
14. F. Wang, "Parametric timing analysis for real-time systems," Information and Computation, Vol. 130, No. 2, Academic Press, 1996, ISSN 0890-5401, pp. 131-150. Also in Proceedings, 10th IEEE Symposium on Logic in Computer Science, 1995.