Partial orders and verification of real-time systems

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

Volumn 1135, Issue , 1996, Pages 327-346

  Pagani, Florence ^a  

^a ONERA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

FAULT TOLERANCE; INTERACTIVE COMPUTER SYSTEMS; MODEL CHECKING;

CONCURRENT SYSTEMS; DEADLOCK DETECTION; DEPENDENCY RELATION; MODEL CHECKING ALGORITHM; PARTIAL ORDER; SEARCH ALGORITHMS; STATE EXPLOSION; VERIFICATION METHOD;

REAL TIME SYSTEMS;

EID: 84947733071     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61648-9_49     Document Type: Conference Paper

References (10)

1. R. Alur and D. Dill. A theory of timed automata. Theoretical Computer Science, 126(2):183-235, April 1994.
2. E.M. Clarke, E.A. Emerson, and A.P. Sistla. Automatic verification of finite state concurrent systems using temporal logic specifications: a practical approach. ACM83, pages 117-126, 1983.
3. D. Dill. Timing assumptions and verifications of finite-state concurrent systems. In J. Sifakis, editor, CA V89: Automatic Verification Methods for Finite-state Systems, pages 197-212. Springer-Verlag, 1989.
4. P. Godefroid. Partial-Order Methods for the Verification of Concurrent Systems. PhD thesis, Université de Liège, 1995.
5. P. Godefroid and P. Wolper. Using partial orders for the efficient verification of deadlock freedom and safety properties. Formal methods in system design, pages 149-164, 1993.
6. T. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine. Symbolic model checking for real-time systems. Information and computation, pages 193-244, 1994.
7. A. Mazurkiewicz. Basic notions of trace theory. LNCS 354: Linear time, branching time and partial order in logics and models for concurrency, pages 285-363, May/June 1988.
8. A. Olivero. Modélisation et analyse des systèmes temporisés et hybrides. PhD thesis, Institut National Polytechnique de Grenoble, September 1994.
9. T. Yoneda, A. Shibayama, B-H. Schlingloff, and E. Clarke. Efficient verification of parallel real-time systems. In LNCS 697: CAV'93, pages 321-332, 1993.
10. S. Yovine. Méthodes et outils pour la vérification symbolique de systémes temporisés. PhD thesis, Institut National Polytechnique de Grenoble, 1993.