Real-time model-checking: Parameters everywhere

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

Volumn 2914, Issue , 2003, Pages 100-111

  Bruyère, Véronique ^a   Raskin, Jean François ^b  

^a UNIVERSITY OF MONS   (Belgium)

^b UNIVERSITÉ LIBRE DE BRUXELLES   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; SOFTWARE ENGINEERING;

MODEL CHECKING PROBLEM; PARAMETER SYNTHESIS; REAL TIME MODELING; TIMED AUTOMATA; UNDECIDABILITY;

MODEL CHECKING;

EID: 35248869218     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24597-1_9     Document Type: Article

References (8)

1. R. Alur, T.A. Henzinger, and M.Y. Vardi. Parametric real-time reasoning. In Proceedings of the 25th Annual Symposium on Theory of Computing, pages 592-601. ACM Press, 1993.
2. Rajeev Alur, Kousha Etessami, Salvatore La Torre, and Doron Peled. Parametric temporal logic for "model measuring". Lecture Notes in Computer Science, 1644:159-173, 1999.
3. Alexis Bès. A survey of arithmetical definability. A tribute to Maurice Boffa, Special Issue of Belg. Math. Soc., pages 1-54, 2002.
4. V. Bruyère, E. Dall'olio, and J.-F. Raskin. Durations, parametric model-checking in timed automata with Presburger arithmetic. In Proceedings of STACS 2003, volume 2607 of Lecture Notes in Computer Science, pages 687-698. Springer, 2003.
5. E. Allen Emerson and Richard J. Trefler. Parametric quantitative temporal reasoning. In Logic in Computer Science, pages 336-343, 1999.
6. Thomas Hune, Judi Romijn, Marielle Stoelinga, and Frits Vaandrager. Linear parametric model checking of timed automata. Journal of Logic and Algebraic Programming, 52-53:183-220, 2002.
7. Farn Wang. Timing behavior analysis for real-time systems. In In Proceedings of the Tenth IEEE Symposium on Logic in Computer Science, pages 112-122, 1995.
8. Farn Wang and Pao-Ann Hsiung. Parametric analysis of computer systems. In Algebraic Methodology and Software Technology, pages 539-553, 1997.