Parametric temporal logic for model measuring

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1644 LNCS, Issue , 1999, Pages 159-168

  Alur, Rajeev ^a,b   Etessami, Kousha ^b   La Torre, Salvatore ^a,c   Peled, Doron ^b  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

^b LUCENT TECHNOLOGIES   (United States)

^c UNIVERSITY OF SALERNO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; COMPUTER CIRCUITS; MODEL CHECKING; PARAMETER ESTIMATION;

FREE VARIABLE; LINEAR TEMPORAL LOGIC; NATURAL EXTENSION; OPTIMALITY CRITERIA; QUANTITATIVE INFORMATION; SYSTEM MODELING; THE STANDARD MODEL;

TEMPORAL LOGIC;

EID: 84887437507     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48523-6_13     Document Type: Conference Paper

References (14)

1. [AFH96] R. Alur, T. Feder, and T.A. Henzinger. The benefits of relaxing punctuality. Journal of the ACM, 43(1):116-146, 1996.
2. [AH93] R. Alur and T.A. Henzinger. Real-time logics: complexity and expressiveness. Information and Computation, 104(1):35-77, 1993.
3. [AHV93] R. Alur, T.A. Henzinger, and M.Y. Vardi. Parametric real-time reasoning. In Proc. of the 25th ACM STOC, pp. 592-601, 1993.
4. [CCG96] S. Campos, E. Clarke, and O. Grumberg. Selective quantitative analysis and interval model checking. In Proce. Eighth CAV, LNCS 1102, 1996.
5. [CE81] E.M. Clarke and E.A. Emerson. Design and synthesis of synchronization skeletons using branching time temporal logic. In Proc. Workshop on Logic of Programs, LNCS 131, pp. 52-71, 1981.
6. [CK96] E.M. Clarke and R.P. Kurshan. Computer-aided verification. IEEE Spectrum, 33(6):61-67, 1996.
7. [CY91] C. Courcoubetis and M. Yannakakis. Minimum and maximum delay problems in real-time systems. In Proc. Third CAV, LNCS 575, 1991.
8. [Eme90] E.A. Emerson. Temporal and modal logic. In Handbook of Theoretical Computer Science, vol B, pp. 995-1072. Elsevier Science Publishers, 1990.
9. [EMSS90] E.A. Emerson, A.K. Mok, A.P. Sistla, and J. Srinivasan. Quantitative tem- poral reasoning. In Computer-Aided Verification, 2nd International Conference, CAV'90, LNCS 531, pp. 136-145, 1990.
10. [HKPV95] T.A. Henzinger, P. Kopke, A. Puri, and P. Varaiya. What's decidable about hybrid automata. In Proceedings of the 27th ACM Symposium on Theory of Computing, pp. 373-382, 1995.
11. [Koy90] R. Koymans. Specifying real-time properties with metric temporal logic. Journal of Real-Time Systems, 2:255-299, 1990.
12. [MP91] Z. Manna and A. Pnueli. The temporal logic of reactive and concurrent systems: Specification. Springer-verlag, 1991.
13. [Pnu77] A. Pnueli. The temporal logic of programs. In Proceedings of the 18th IEEE Symposium on Foundations of Computer Science, pp. 46-77, 1977.
14. [Wan96] Farn Wang. Parametric timing analysis for real-time systems. Information and Computation, 130(2):131-150, 1996.