메뉴 건너뛰기




Volumn 1494, Issue , 1998, Pages 4-73

Verification of clocked and hybrid systems

Author keywords

[No Author keywords available]

Indexed keywords

CLOCKS; EMBEDDED SYSTEMS; FORMAL LOGIC; HYBRID SYSTEMS; INTERACTIVE COMPUTER SYSTEMS;

EID: 84958966552     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-65193-4_18     Document Type: Conference Paper
Times cited : (8)

References (34)
  • 1
    • 0028413052 scopus 로고
    • A theory of timed automata
    • R. Alur and D.L. Dill. A theory of timed automata. Theor. Comp. Sci., 126:183 235, 1994.
    • (1994) Theor. Comp. Sci , vol.183 , Issue.235 , pp. 126
    • Alur, R.1    Dill, D.L.2
  • 3
    • 51549096502 scopus 로고
    • Logics and models of real time: A survey
    • J.W. de Bakker, C. Huizing, W.P. de Roever, and G. Rozenberg, editors, Lect. Notes in Comp. Sci, Springer-Verlag
    • R. Alur and T. Henzinger. Logics and models of real time: A survey. In J.W. de Bakker, C. Huizing, W.P. de Roever, and G. Rozenberg, editors, Proceedings of the REX Workshop "Real-Time: Theory in Practice', volume 600 of Lect. Notes in Comp. Sci, pages 74-106. Springer-Verlag, 1992.
    • (1992) Proceedings of the REX Workshop "Real-Time: Theory in Practice , vol.600 , pp. 74-106
    • Alur, R.1    Henzinger, T.2
  • 5
    • 0028512153 scopus 로고
    • An old-fashioned recipe for real time
    • M. Abadi and L Lamport. An old-fashioned recipe for real time. ACM Trans. Prog. Lang. Sys., 16(5):1543-1571, 1994.
    • (1994) ACM Trans. Prog. Lang. Sys , vol.16 , Issue.5 , pp. 1543-1571
    • Abadi, M.1    Lamport, L.2
  • 6
    • 0020880468 scopus 로고
    • The temporal logic of branching time
    • M. Ben-Ari, Z. Manna, and A. Pnueli. The temporal logic of branching time. Acta Informatzca, 20:207 226, 1983.
    • (1983) Acta Informatzca , vol.207 , Issue.226 , pp. 20
    • Ben-Ari, M.1    Manna, Z.2    Pnueli, A.3
  • 8
    • 23544466524 scopus 로고    scopus 로고
    • Deductive verification of real-time systems using STEP
    • Lect. Notes,n Comp. Sci, Springer-Verlag, May
    • N.S. Bjørner, Z. Manna, H.B. Sipma, and T.E. Uribe. Deductive verification of real-time systems using STEP. In 4th Intl. AMAST Workshop on Real-Time Systems, volume 1231 of Lect. Notes,n Comp. Sci., pages 22-43. Springer-Verlag, May 1997.
    • (1997) 4Th Intl. AMAST Workshop on Real-Time Systems , vol.1231 , pp. 22-43
    • Bjørner, N.S.1    Manna, Z.2    Sipma, H.B.3    Uribe, T.E.4
  • 9
    • 0020226119 scopus 로고
    • Using branching time temporal logic to synthesize synchronization skeletons
    • E.A. Emerson and E.M. Clarke. Using branching time temporal logic to synthesize synchronization skeletons. Sci. Comp. Prog., 2:241-266, 1982.
    • (1982) Sci. Comp. Prog , vol.2 , pp. 241-266
    • Emerson, E.A.1    Clarke, E.M.2
  • 11
    • 0023365727 scopus 로고
    • Statecharts: A visul formalism for complex systems
    • D. Harel. Statecharts: A visul formalism for complex systems. Sci. Comp. Prog., 8:231-274, 1987.
    • (1987) Sci. Comp. Prog , vol.8 , pp. 231-274
    • Harel, D.1
  • 12
    • 0001240170 scopus 로고
    • Sooner is safer than later
    • T.A. Henzinger. Sooner is safer than later. Info. Proc. Lett., 43(3):135-142, 1992.
    • (1992) Info. Proc. Lett , vol.43 , Issue.3 , pp. 135-142
    • Henzinger, T.A.1
  • 14
    • 0001558581 scopus 로고
    • Verification methods for the divergent runs of clock systems
    • H. Langmaack, W.-P. de Roever, and J. Vytopil, editors, Lecture Notes in Computer Science, Springer-Verlag
    • T.A. Henzinger and P.W. Kopke. Verification methods for the divergent runs of clock systems. In H. Langmaack, W.-P. de Roever, and J. Vytopil, editors, FTRTFT 94: Formal Techniques in Real-time and Fault-tolerant Systems, Lecture Notes in Computer Science 863, pages 351-372. Springer-Verlag, 1994.
    • (1994) FTRTFT 94: Formal Techniques in Real-Time and Fault-Tolerant Systems , vol.863 , pp. 351-372
    • Henzinger, T.A.1    Kopke, P.W.2
  • 15
    • 0000581671 scopus 로고
    • TemporM proof methodologies for timed transition systems
    • T. Henzinger, Z. Manna, and A. Pnueli. TemporM proof methodologies for timed transition systems. Inf. and Comp., 112(2):273-337, 1994.
    • (1994) Inf. And Comp , vol.112 , Issue.2 , pp. 273-337
    • Henzinger, T.1    Manna, Z.2    Pnueli, A.3
  • 16
    • 84884649308 scopus 로고
    • Examples of a real-time temporal logic specifications
    • B.D. Denvir, W.T. Harwood, M.I. Jackson, and M.J. Wray, editors, Lect. Notes in Comp. Sci, Springer-Verlag
    • R. Koymans and W.-P. de Roever. Examples of a real-time temporal logic specifications. In B.D. Denvir, W.T. Harwood, M.I. Jackson, and M.J. Wray, editors, The Analys's of Concurrent Systems, volume 207 of Lect. Notes in Comp. Sci., pages 231-252. Springer-Verlag, 1985.
    • (1985) The Analys's of Concurrent Systems , vol.207 , pp. 231-252
    • Koymans, R.1    De Roever, W.-P.2
  • 17
    • 84958044036 scopus 로고    scopus 로고
    • Verifying clocked transition systems
    • R. Alur, T.A. Henzinger, and E.D. Sontag, editors, Lect. Notes in Comp. Scu, Springer-Verlag
    • Y. Kesten, Z. Manna, and A. Pnueli. Verifying clocked transition systems. In R. Alur, T.A. Henzinger, and E.D. Sontag, editors, Hybrid Systems III, volume 1066 of Lect. Notes in Comp. Scu, pages 13-40. Springer-Verlag, 1996.
    • (1996) Hybrid Systems III , vol.1066 , pp. 13-40
    • Kesten, Y.1    Manna, Z.2    Pnueli, A.3
  • 18
    • 0001601021 scopus 로고
    • Specifying real-time propertms with metric temporl logic
    • R. Koymans. Specifying real-time propertms with metric temporl logic. Real-time Systems, 2(4):255-299, 1990.
    • (1990) Real-Time Systems , vol.2 , Issue.4 , pp. 255-299
    • Koymans, R.1
  • 20
    • 0002163823 scopus 로고
    • Technical Report 137, Digital Equipment Corporation, Systems Research Center, PMo Alto, July
    • L. Lamport. Proving possibiity properties. Technical Report 137, Digital Equipment Corporation, Systems Research Center, PMo Alto, July 1995.
    • (1995) Proving Possibiity Properties
    • Lamport, L.1
  • 21
    • 84886714716 scopus 로고
    • From timed to hybrid systems
    • J.W. de Bakker, C. Huizing, W.P. de Roever, and G. Rozenberg, editors, Lect. Notes,n Comp. Sci, Springer-Verlag
    • O. Maler, Z. Manna, and A. Pnueli. From timed to hybrid systems. In J.W. de Bakker, C. Huizing, W.P. de Roever, and G. Rozenberg, editors, Proceedings of the REX Workshop "Real-Time: Theory in Practzce", volume 600 of Lect. Notes,n Comp. Sci., pages 447-484. Springer-Verlag, 1992.
    • (1992) Proceedings of the REX Workshop "Real-Time: Theory in Practzce , vol.600 , pp. 447-484
    • Maler, O.1    Manna, Z.2    Pnueli, A.3
  • 22
    • 0026172359 scopus 로고
    • Corapleting the temporM picture
    • Z. Manna and A. Pnueli. Corapleting the temporM picture. Theor. Comp. Scz., 83(1):97-130, 1991.
    • (1991) Theor. Comp. Scz , vol.83 , Issue.1 , pp. 97-130
    • Manna, Z.1    Pnueli, A.2
  • 24
    • 21344499324 scopus 로고
    • Models for reactivity
    • Z. Manna and A. Pnueli. Models for reactivity. Acta Informatica, 30:609-678, 1993.
    • (1993) Acta Informatica , vol.30 , pp. 609-678
    • Manna, Z.1    Pnueli, A.2
  • 25
    • 0002853158 scopus 로고
    • Verifying hybrid systems
    • R.L. Grossman, A. Nerode, A. Ravn, and H. Rischel, editors, Lect. Notes in Comp. Sci, Springer-Verlag
    • Z. Manna and A. Pnueli. Verifying hybrid systems. In R.L. Grossman, A. Nerode, A. Ravn, and H. Rischel, editors, Hybmd Systems, volume 736 of Lect. Notes in Comp. Sci, pages 4-35.Springer-Verlag, 1993.
    • (1993) Hybmd Systems , vol.736 , pp. 4-35
    • Manna, Z.1    Pnueli, A.2
  • 26
    • 84995731256 scopus 로고
    • TemporM verification diagrams
    • T. Ito and A. R. Meyer, editors, Lect. Notes in Comp. Sci, Springer-Verlag
    • Z. Manna and A. Pnueli. TemporM verification diagrams. In T. Ito and A. R. Meyer, editors, Theoretical Aspects of Computer Software, volume 789 of Lect. Notes in Comp. Sci., pages 726-765. Springer-Verlag, 1994.
    • (1994) Theoretical Aspects of Computer Software , vol.789 , pp. 726-765
    • Manna, Z.1    Pnueli, A.2
  • 29
    • 85030844408 scopus 로고
    • A temporal calculus of communicating systems
    • J.C.M. Baeten and J.W. Klop, editors, Lect. Notes in Comp. Sci, Springer-Verlag
    • F. Moller and C. Tofts. A temporal calculus of communicating systems. In J.C.M. Baeten and J.W. Klop, editors, Proceedings of Concur'90, volume 458 of Lect. Notes in Comp. Sci., pages 401-415. Springer-Verlag, 1990.
    • (1990) Proceedings of Concur'90 , vol.458 , pp. 401-415
    • Moller, F.1    Tofts, C.2
  • 30
    • 0000050874 scopus 로고
    • An approach to the description and analysis of hybrid systems
    • R.L. Grossman, A. Nerode, A. Ravn, and H. Rischel, editors, Lect. Notes in Comp. Sci, Springer-Verlag
    • X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. An approach to the description and analysis of hybrid systems. In R.L. Grossman, A. Nerode, A. Ravn, and H. Rischel, editors, Hybmd Systems, volume 736 of Lect. Notes in Comp. Sci., pages 149-178. Springer-Verlag, 1993.
    • (1993) Hybmd Systems , vol.736 , pp. 149-178
    • Nicollin, X.1    Olivero, A.2    Sifakis, J.3    Yovine, S.4
  • 31
    • 85027664864 scopus 로고
    • From ATP to timed graphs and hybrid systems
    • J.W. de Bakker, C. ttuizing, W.P. de Roever, and G. Rozenberg, editors, Leer. Notes m Comp. Sci, Springer-Verlag
    • X. Nicollin, J. Sifakis, and S. Yovine. From ATP to timed graphs and hybrid systems. In J.W. de Bakker, C. ttuizing, W.P. de Roever, and G. Rozenberg, editors. Proceedings of the REX Workshop "Real-Time: Theory in Practzce", volume 600 of Leer. Notes m Comp. Sci., pages 549-572. Springer-Verlag, 1992.
    • (1992) Proceedings of the REX Workshop "Real-Time: Theory in Practzce , vol.600 , pp. 549-572
    • Nicollin, X.1    Sifakis, J.2    Yovine, S.3
  • 33
    • 85029839126 scopus 로고
    • Marzullo Putting time into proof outlines
    • J.W. de Bakker, C Huizlng, W.P. de Roever, and G. Rozenberg, editors, Lect. Notes m Comp. Sci, Springer- Verlag
    • F. B. Schneider, B. Bloom, and K. Marzullo Putting time into proof outlines. In J.W. de Bakker, C Huizlng, W.P. de Roever, and G. Rozenberg, editors, Proceedings of the REX Workshop "Real-Tzme: Theory in Practzce", volume 600 of Lect. Notes m Comp. Sci., pages 618-639. Springer- Verlag, 1992.
    • (1992) Proceedings of the REX Workshop "Real-Tzme: Theory in Practzce , vol.600 , pp. 618-639
    • Schneider, F.B.1    Bloom, B.2
  • 34
    • 85029615220 scopus 로고
    • An overview and synthesis on timed process algebra
    • K G. Larsen and A. Skou, editors, Lect. Notes in Comp. Sci, Spriager-Verlag
    • J. Sifakis An overview and synthesis on timed process algebra In K G. Larsen and A. Skou, editors. 3rd Computer Aided Vemfieatwn Workshop, volume 575 of Lect. Notes in Comp. Sci, pages 376-398. Spriager-Verlag, 1991.
    • (1991) 3Rd Computer Aided Vemfieatwn Workshop , vol.575 , pp. 376-398
    • Sifakis, J.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.