메뉴 건너뛰기




Volumn 1313, Issue , 1997, Pages 589-604

Verification of reactive systems using disco and PVS

Author keywords

[No Author keywords available]

Indexed keywords

SPECIFICATIONS; THEOREM PROVING;

EID: 84957372220     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-63533-5_31     Document Type: Conference Paper
Times cited : (14)

References (22)
  • 1
    • 84957382671 scopus 로고    scopus 로고
    • The DisCo project home page. http://www.cs.tut.fi/laitos/DisCo/.
  • 5
    • 0024664310 scopus 로고
    • Decentralization of process nets with a centralized control
    • R. J. R. Back and R. Kurki-Suonio. Decentralization of process nets with a centralized control. Distributed Computing, (3):73-87, 1989.
    • (1989) Distributed Computing , Issue.3 , pp. 73-87
    • Back, R.J.R.1    Kurki-Suonio, R.2
  • 6
    • 0001531470 scopus 로고
    • A note on refiable full-duplex transmission over half-duplex links
    • May
    • K.A. Bartlett, R.A. Scantlebury, and P.T. Wilkinson. A note on refiable full-duplex transmission over half-duplex links. Communications of the ACM, 12(5):260-261, May 1969.
    • (1969) Communications of the ACM , vol.12 , Issue.5 , pp. 260-261
    • Bartlett, K.A.1    Scantlebury, R.A.2    Wilkinson, P.T.3
  • 10
    • 0029178422 scopus 로고
    • Mechanical verification of distributed algorithms in higherorder logic
    • Ching-Tsun Chou. Mechanical verification of distributed algorithms in higherorder logic. The Computer Journal, 38(1), 1995.
    • (1995) The Computer Journal , vol.38 , Issue.1
    • Chou, C.-T.1
  • 11
    • 0004455847 scopus 로고
    • Mechanical verification of concurrent systems with TLA
    • G. v. Bochmann and D. K. Probst, editors, Montreal, Canada. June 29 - July 1, volume 663 of Lecture Notes in Computer Science. Springer Verlag
    • Urban Engberg, Peter Gronning, and Leslie Lamport. Mechanical verification of concurrent systems with TLA. In G. v. Bochmann and D. K. Probst, editors, Computer Aided Verification- Fourth International Workshop. CA V'92. Montreal, Canada. June 29 - July 1, volume 663 of Lecture Notes in Computer Science. Springer Verlag, 1992.
    • (1992) Computer Aided Verification- Fourth International Workshop. CA V'92
    • Engberg, U.1    Gronning, P.2    Lamport, L.3
  • 12
    • 0023365727 scopus 로고
    • Statecharts: A visual formalism for complex systems
    • June
    • David Hard. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8(3):231-274, June 1987.
    • (1987) Science of Computer Programming , vol.8 , Issue.3 , pp. 231-274
    • Hard, D.1
  • 13
    • 84955600143 scopus 로고    scopus 로고
    • Experiments in theorem proving and model checking for protocol verification
    • K. Havelund and N. Shankar. Experiments in theorem proving and model checking for protocol verification. Lecture Notes in Computer Science, 1051, 1996.
    • (1996) Lecture Notes in Computer Science , vol.1051
    • Havelund, K.1    Shankar, N.2
  • 22
    • 84957382673 scopus 로고
    • Using a theorem prover for reasoning about concurrent algorithms
    • In G. v. Bochmann and D. K. Probst, editors, Montreal, Canada. June 29 - July 1, volume 663 of Lecture Notes in Computer Science. Springer Verlag
    • J. yon Wright and T. Långbacka. Using a theorem prover for reasoning about concurrent algorithms. In G. v. Bochmann and D. K. Probst, editors, Computer Aided Verification - Fourth International Workshop. CA V'92. Montreal, Canada. June 29 - July 1, volume 663 of Lecture Notes in Computer Science. Springer Verlag, 1992.
    • (1992) Computer Aided Verification - Fourth International Workshop. CA V'92
    • Yon Wright, J.1    Långbacka, T.2


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