메뉴 건너뛰기




Volumn 2245, Issue , 2001, Pages 96-107

Distributed LTL model checking based on negative cycle detection

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; DIRECTED GRAPHS; ROBOTS;

EID: 84944038984     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45294-x_9     Document Type: Conference Paper
Times cited : (36)

References (26)
  • 5
    • 84903214497 scopus 로고    scopus 로고
    • Parallel model checking for the alternation free mu-calculus
    • Springer
    • B. Bollig, M. Leucker, and M Weber. Parallel model checking for the alternation free mu-calculus. In Proc. TACAS 2001, volume 2031 of LNCS, pages 543–558. Springer, 2001.
    • (2001) Proc. TACAS 2001, Volume 2031 of LNCS , pp. 543-558
    • Bollig, B.1    Leucker, M.2    Weber, M.3
  • 10
    • 0030367403 scopus 로고    scopus 로고
    • Efficient parallel shortest-paths in digraphs with a separator decomposition
    • E. Cohen. Efficient parallel shortest-paths in digraphs with a separator decomposition. Journal of Algorithms, 21(2):331–357, 1996.
    • (1996) Journal of Algorithms , vol.21 , Issue.2 , pp. 331-357
    • Cohen, E.1
  • 15
    • 84944382125 scopus 로고    scopus 로고
    • Achieving scalability in parallel reachability analysis of very large circuits
    • Springer
    • T. Heyman, D. Geist, O. Grumberg, and A. Schuster. Achieving scalability in parallel reachability analysis of very large circuits. In Proc. CAV 2000, volume 1855 of LNCS, pages 20–35. Springer, 2000.
    • (2000) Proc. CAV 2000, Volume 1855 of LNCS , pp. 20-35
    • Heyman, T.1    Geist, D.2    Grumberg, O.3    Schuster, A.4
  • 20
    • 0003168631 scopus 로고
    • On finding and updating shortest paths distributively
    • K. Ramarao and S. Venkatesan. On finding and updating shortest paths distributively. Journal of Algorithms, 13:235–257, 1992.
    • (1992) Journal of Algorithms , vol.13 , pp. 235-257
    • Ramarao, K.1    Venkatesan, S.2
  • 21
    • 0022075817 scopus 로고
    • Depth-first search is inherrently sequential
    • J.H. Reif. Depth-first search is inherrently sequential. Information Processing Letters, 20(5):229–234, 1985.
    • (1985) Information Processing Letters , vol.20 , Issue.5 , pp. 229-234
    • Reif, J.H.1
  • 24
    • 0001790593 scopus 로고
    • Depth first search and linear graph algorithms
    • R. Tarjan. Depth first search and linear graph algorithms. SIAM Journal on computing, pages 146–160, 1972.
    • (1972) SIAM Journal on Computing , pp. 146-160
    • Tarjan, R.1
  • 25
    • 4243376059 scopus 로고    scopus 로고
    • A simple parallel algorithm for the single-source shortest path problem on planar digraphs
    • Springer
    • J. Traff and C.D. Zaroliagis. A simple parallel algorithm for the single-source shortest path problem on planar digraphs. In Proc. IRREGULAR-3 1996, volume 1117 of LNCS, pages 183–194S. Springer, 1996.
    • (1996) Proc. IRREGULAR-3 1996, Volume 1117 of LNCS , pp. 183S-194S
    • Traff, J.1    Zaroliagis, C.D.2
  • 26
    • 0022987223 scopus 로고
    • An automata-theoretic approach to automatic program verification
    • Computer Society Press
    • M. Y. Vardi and P. Wolper. An automata-theoretic approach to automatic program verification. In Proc. LICS 1986, pages 332–344. Computer Society Press, 1986.
    • (1986) Proc. LICS 1986 , pp. 332-344
    • Vardi, M.Y.1    Wolper, P.2


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