Timed modal specification – Theory and tools

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

Volumn 697 LNCS, Issue , 1993, Pages 253-267

  Čerāns, Kārlis ^a   Godskesen, Jens Chr ^b   Larsen, Kim G ^b  

^a CHALMERS UNIVERSITY OF TECHNOLOGY   (Sweden)

^b AALBORG UNIVERSITY   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED ANALYSIS;

PARTIAL SPECIFICATIONS; TIMED MODAL SPECIFICATIONS; TIMED PROCESS;

SPECIFICATIONS;

EID: 85008826375     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-56922-7_21     Document Type: Conference Paper

References (14)

1. R. Alur and D. Dill. Automata for modelling real-time systems. In ICALP’90, volume 443 of Lecture Notes in Computer Science. Springer-Verlag, 1990.
2. R. Alur and D. Dill. The theory of timed automata. In Real-Time: Theory in Practice, volume 600 of Lecture Notes in Computer Science. Springer-Verlag, 1991.
3. J. Baeten and J. Bergstra. Real time process algebra. Technical Report P8916, University of Amsterdam, 1989.
4. A. Børjesson, K. Larsen, and A. Skou. Generality in design and compositional verification using tav. In Proceedings of FORTE’92, 1992.
5. G. Boudol and K. Larsen. Graphical versus logical specifications. In Proceedings of CAAP’90, volume 431 of Lecture Notes in Computer Science, 1990.
6. J. Godskesen, K. Larsen, and M. Zeeberg. TAV (tools for automatic verification)-users manual. Technical report, University of Aalborg, Denmark, 1989.
7. K. Larsen. Modal specifications. In Proceedings of Workshop on Automatic Verification Methods for Finite State Systems, volume 407 of Lecture Notes in Computer Science, 1990.
8. K. Larsen. Efficient local correctness checking. In Proceedings of CAV’92, 1992.
9. K. Larsen and B. Thomsen. A modal process logic. In Proceedings LICS’88, 1988.
10. K. Larsen and Y. Wang. Time abstracted bisimulation: Implicit specifications and decidability. Submitted for MFPS’93.
11. R. Milner. Communication and Concurrency. Series in Computer Science. Prentice-Hall International, 1989.
12. X. Nicollin, J. Sifakis, and S. Yovine. From ATP to timed graphs and hybrid systems. In Real-Time: Theory in Practice, volume 600 of Lecture Notes in Computer Science. Springer-Verlag, 1991.
13. K. Čerāns. Decidability of bisimulation equivalences for processes with parallel timers. In Proceedings of CA V’92, 1992.
14. Y. Wang. Real-time behaviour of asynchronous agents. In Proceedings of CONCUR’ 90, volume 458 of Lecture Notes in Computer Science. Springer-Verlag, 1990.