메뉴 건너뛰기




Volumn 11, Issue 2, 1997, Pages 187-215

Efficient Verification of Parallel Real-Time Systems

Author keywords

Linear time temporal logic; Model checking; Partial orders; Real time systems; Time Petri nets

Indexed keywords

ALGORITHMS; FORMAL LOGIC; PARALLEL PROCESSING SYSTEMS; PETRI NETS; STATE SPACE METHODS;

EID: 0031212649     PISSN: 09259856     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1008682131325     Document Type: Article
Times cited : (50)

References (18)
  • 4
    • 0026120365 scopus 로고
    • Modeling and verification of time dependent systems using time Petri nets
    • B. Berthomieu and M. Diaz, "Modeling and verification of time dependent systems using time Petri nets," IEEE Trans. on Software Eng., Vol. 17, No. 3, pp. 259-273, 1991.
    • (1991) IEEE Trans. on Software Eng. , vol.17 , Issue.3 , pp. 259-273
    • Berthomieu, B.1    Diaz, M.2
  • 5
    • 0022706656 scopus 로고
    • Automatic verification of finite-state concurrent systems using temporal logic specifications
    • E. M. Clarke, E. A. Emerson, and A. P. Sistla, "Automatic verification of finite-state concurrent systems using temporal logic specifications," ACM Trans. on Programming Languages and Systems, Vol. 8, No. 2, pp. 244-263, 1986.
    • (1986) ACM Trans. on Programming Languages and Systems , vol.8 , Issue.2 , pp. 244-263
    • Clarke, E.M.1    Emerson, E.A.2    Sistla, A.P.3
  • 7
    • 2342632238 scopus 로고
    • A partial order approach to branching time logic model checking
    • R. Gerth, R. Kuiper, D. Peled, and W. Penczek, "A partial order approach to branching time logic model checking," Internal report, 1994.
    • (1994) Internal Report
    • Gerth, R.1    Kuiper, R.2    Peled, D.3    Penczek, W.4
  • 10
    • 0023399846 scopus 로고
    • A graph-theoretic approach for timing analysis and its implementation
    • F. Jahanian and A. K. Mok, " A graph-theoretic approach for timing analysis and its implementation," IEEE Trans. Comput., Vol. C-36, No. 8, pp. 961-975, 1987.
    • (1987) IEEE Trans. Comput. , vol.C-36 , Issue.8 , pp. 961-975
    • Jahanian, F.1    Mok, A.K.2
  • 11
    • 0348225427 scopus 로고
    • Defining conditional independence using collapses
    • M. Kwiatkowska (ed.), Springer
    • S. Katz and D. Peled, "Defining conditional independence using collapses," Semantics for concurrency, BCS-FACS Workshop, M. Kwiatkowska (ed.), Springer, 1990.
    • (1990) Semantics for Concurrency, BCS-FACS Workshop
    • Katz, S.1    Peled, D.2
  • 12
    • 0022188649 scopus 로고
    • Checking that finite state concurrent programs satisfy their linear specification
    • O. Lichtenstein and A. Pnueli, "Checking that finite state concurrent programs satisfy their linear specification," Proc. 12th Principles of Programming Languagges, pp. 97-107, 1985.
    • (1985) Proc. 12th Principles of Programming Languagges , pp. 97-107
    • Lichtenstein, O.1    Pnueli, A.2
  • 13
    • 0017001923 scopus 로고
    • Recoverability of communication protocols
    • P. Merlin and D. J. Faber, "Recoverability of communication protocols," IEEE Trans. on Communication, Vol. COM-24, No. 9, pp. 381-404, 1976.
    • (1976) IEEE Trans. on Communication , vol.COM-24 , Issue.9 , pp. 381-404
    • Merlin, P.1    Faber, D.J.2
  • 18
    • 0026398712 scopus 로고
    • Acceleration of timing verification method based on time Petri nets
    • T. Yoneda, Y Tohma, and Y Kondo, "Acceleration of timing verification method based on time Petri nets," Systems and Computers in Japan, Vol. 22, No. 12, pp. 37-52, 1991.
    • (1991) Systems and Computers in Japan , vol.22 , Issue.12 , pp. 37-52
    • Yoneda, T.1    Tohma, Y.2    Kondo, Y.3


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