Compositional model checking of real time systems

1. R. Alur, C. Courcoubetis, and D. Dill. Model-checking for Real-Time Systems. In Proceedings of Logic in Computer Science, pages 414–425. IEEE Computer Society Press, 1990.

   Google Scholar 

2. R. Alur and D. Dill. Automata for Modelling Real-Time Systems. Theoretical Computer Science, 126(2):183–236, April 1994.

   Article  Google Scholar 

3. H. R. Andersen. A Polyadic Modal μ-calculus. Id-tr: 1994-145, Department of Computer Science, Technical University of Denmark, 1994.

   Google Scholar 

4. H. R. Andersen. Partial Model Checking. To appear in Proceedings of LICS'95, 1995.

   Google Scholar 

5. H. R. Andersen, C. Stirling, and G. Winskel. A Compositional Proof System for the Modal Mu-Calculus. Logic in Computer Science, 1994.

   Google Scholar 

6. H. R. Andersen and G. Winskel. Compositional checking of satisfaction. Formal Methods in Systems Design, 1992. To appear.

   Google Scholar 

7. J. H. Andersen, K. J. Kristoffersen, K. G. Larsen, and J. Niedermann. Automatic Synthesis of Real Time Systems. Lecture Notes in Computer Science, 1995. To appear in Proceedings of ICALP'95.

   Google Scholar 

8. J. R. Burch, E. M. Clarke, K. L. McMillan, D. L. Dill, and L. J. Hwang. Symbolic Model Checking: 10²⁰ states and beyond. Logic in Computer Science, 1990.

   Google Scholar 

9. E. M. Clarke, T. Filkorn, and S. Jha. Exploiting Symmetry in Temporal Logic Model Checking. Lecture Notes in Computer Science, 697, 1993.

   Google Scholar 

10. E. M. Clarke, O. Grümberg, and D. E. Long. Model Checking and Abstraction. Principles of Programming Languages, 1992.

    Google Scholar 

11. E. A. Emerson and C. S. Jutla. Symmetry and Model Checking. Lecture Notes in Computer Science, 697, 1993.

    Google Scholar 

12. P. Godefroid and P. Wolper. A Partial Approach to Model Checking. Logic in Computer Science, 1991.

    Google Scholar 

13. T. A. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine. Symbolic model checking for real-time systems. In Logic in Computer Science, 1992.

    Google Scholar 

14. H. Hüttel and K. G. Larsen. The use of static constructs in a modal process logic. Lecture Notes in Computer Science, Springer Verlag, 363, 1989.

    Google Scholar 

15. F. Laroussinie and K. G. Larsen. Compositional Model Checking of Real Time Systems. Technical Report RS-95-19, BRICS, 1995. Accessible through WWW: http://www.brics.aau.dk/BRICS.

    Google Scholar 

16. F. Laroussinie, K. G. Larsen, and C. Weise. From Timed Automata to Logic — and Back. 1995. To appear in Proceedings of MFCS'95.

    Google Scholar 

17. K.G. Larsen. Context-Dependent Bisimulation Between Processes. PhD thesis, University of Edinburgh, Mayfield Road, Edinburgh, Scotland, 1986.

    Google Scholar 

18. K.G. Larsen and L. Xinxin. Compositionality through an operational semantics of contexts. Journal of Logic and Computation, 1(6):761–795, 1991.

    Google Scholar 

19. R. Milner. Communication and Concurrency. prentice, Englewood Cliffs, 1989.

    Google Scholar 

20. F. Moller and C. Tofts. Relating Processes with Respect to Speed. Technical Report ECS-LFCS-91-143, Department of Computer Science, University of Edinburgh, 1991.

    Google Scholar 

21. D. Park. Concurrency and automata on infinite sequences. In Proceedings of 5th GI Conference, volume 104 of Lecture Notes in Computer Science, Springer Verlag, Berlin, 1981. Springer.

    Google Scholar 

22. A. Tarski. A lattice-theoretical fixpoint theorem and its applications. Pacific Journal of Math., 5, 1955.

    Google Scholar 

23. A. Valmari. A Stubborn Attack on State Explosion. Theoretical Computer Science, 3, 1990.

    Google Scholar 

24. W. Yi. A Calculus of Real Time Systems. Lecture Notes in Computer Science, 458, 1990. In Proceedings of CONCUR.

    Google Scholar 

Download references