메뉴 건너뛰기




Volumn 7, Issue 3, 2005, Pages 280-291

Distributed state space minimization

Author keywords

Bisimulation equivalence; Distributed verification

Indexed keywords


EID: 25144516027     PISSN: 14332779     EISSN: None     Source Type: Journal    
DOI: 10.1007/s10009-004-0185-2     Document Type: Article
Times cited : (31)

References (25)
  • 2
    • 84944389561 scopus 로고    scopus 로고
    • Distributed timed model checking - How the search order matters
    • Springer, Berlin Heidelberg New York
    • Behrmann G, Hune T, Vaandrager FW (2000) Distributed timed model checking - how the search order matters. In: Proceedings CAV'00. Lecture notes in computer science, vol 1855. Springer, Berlin Heidelberg New York, pp 216-231
    • (2000) Proceedings CAV'00. Lecture Notes in Computer Science , vol.1855 , pp. 216-231
    • Behrmann, G.1    Hune, T.2    Vaandrager, F.W.3
  • 6
    • 13844312541 scopus 로고    scopus 로고
    • The VLTS benchmark
    • CWI/SEN2, INRIA/VASY
    • CWI/SEN2, INRIA/VASY. The VLTS benchmark. http://www.inrialpes.fr/vasy/cadp/resources/benchmark_bcg.html
  • 8
    • 0031189008 scopus 로고    scopus 로고
    • Specification and verification of various distributed leader election algorithms for unidirection ring networks
    • Garavel H, Mounier L (1997) Specification and verification of various distributed leader election algorithms for unidirection ring networks. Sci Comput Programm 29(1-2):171-197
    • (1997) Sci. Comput. Programm. , vol.29 , Issue.1-2 , pp. 171-197
    • Garavel, H.1    Mounier, L.2
  • 9
    • 0030143334 scopus 로고    scopus 로고
    • Branching time and abstraction in bisimulation semantics
    • 10.1145/233551.233556
    • van Glabbeek RJ, Weijland WP (1996) Branching time and abstraction in bisimulation semantics. J ACM 43(3):555-600 10.1145/233551.233556
    • (1996) J. ACM , vol.43 , Issue.3 , pp. 555-600
    • van Glabbeek, R.J.1    Weijland, W.P.2
  • 11
    • 0013007059 scopus 로고    scopus 로고
    • Distributed symbolic model checking for μ-calculus
    • Berry G, Comon H, Finkel A (eds)
    • Grumberg O, Heyman T, Schuster A (2001) Distributed symbolic model checking for μ-calculus. In: Berry G, Comon H, Finkel A (eds) [3], pp 350-362
    • (2001) , Issue.3 , pp. 350-362
    • Grumberg, O.1    Heyman, T.2    Schuster, A.3
  • 12
    • 0002197352 scopus 로고
    • An n log n algorithm for minimizing the states in a finite automaton
    • Academic, New York
    • Hopcroft JE (1971) An n log n algorithm for minimizing the states in a finite automaton. In: The theory of machines and computations. Academic, New York, pp 189-196
    • (1971) The Theory of Machines and Computations , pp. 189-196
    • Hopcroft, J.E.1
  • 16
    • 35048856631 scopus 로고    scopus 로고
    • Truth/SLC - A parallel verification platform for concurrent systems
    • Berry G, Comon H, Finkel A (eds)
    • Leucker M, Noll T (2001) Truth/SLC - a parallel verification platform for concurrent systems. In: Berry G, Comon H, Finkel A (eds) [3], pp 255-259
    • (2001) , Issue.3 , pp. 255-259
    • Leucker, M.1    Noll, T.2
  • 18
    • 35248893345 scopus 로고    scopus 로고
    • A generic on-the-fly solver for alternation-free boolean equation systems
    • Springer, Berlin Heidelberg New York
    • Mateescu R (2003) A generic on-the-fly solver for alternation-free boolean equation systems. In: Proceedings TACAS'01. Lecture notes in computer science, vol 2619. Springer, Berlin Heidelberg New York, pp 81-96
    • (2003) Proceedings TACAS'01. Lecture Notes in Computer Science , vol.2619 , pp. 81-96
    • Mateescu, R.1
  • 19
    • 0023566630 scopus 로고
    • Three partition refinement algorithms
    • 10.1137/0216062
    • Paige R, Tarjan R (1987) Three partition refinement algorithms. SIAM J Comput 16(6):973-989 10.1137/0216062
    • (1987) SIAM J. Comput. , vol.16 , Issue.6 , pp. 973-989
    • Paige, R.1    Tarjan, R.2
  • 22
    • 0032118689 scopus 로고    scopus 로고
    • Parallel algorithms for relational coarsest partition problems
    • 10.1109/71.707548
    • Rajasekaran S, Lee I (1998) Parallel algorithms for relational coarsest partition problems. IEEE Trans Parallel Distrib Syst 9(7):687-699 10.1109/71.707548
    • (1998) IEEE Trans. Parallel Distrib. Syst. , vol.9 , Issue.7 , pp. 687-699
    • Rajasekaran, S.1    Lee, I.2
  • 23
    • 0035448087 scopus 로고    scopus 로고
    • A timed verification of the ieee 1394 leader election protocol
    • 10.1023/A:1011284000753
    • Romijn JMT (2001) A timed verification of the ieee 1394 leader election protocol. Formal Methods Syst Des 19(2):165-194 10.1023/A:1011284000753
    • (2001) Formal Methods Syst. Des. , vol.19 , Issue.2 , pp. 165-194
    • Romijn, J.M.T.1
  • 24
    • 84947425596 scopus 로고    scopus 로고
    • Parallelizing the Murφ verifier
    • Springer, Berlin Heidelberg New York
    • Stern U, Dill D (1997) Parallelizing the Murφ verifier. In: Proceedings CAV'97. Lecture notes in computer science, vol 1254. Springer, Berlin Heidelberg New York, pp 256-278
    • (1997) Proceedings CAV'97. Lecture Notes in Computer Science , vol.1254 , pp. 256-278
    • Stern, U.1    Dill, D.2
  • 25
    • 0027760645 scopus 로고
    • Towards efficient parallelization of equivalence checking algorithms
    • Zhang S, Smolka SA (1993) Towards efficient parallelization of equivalence checking algorithms. In: Proceedings FORTE'92. IFIP Trans C-10:133-146
    • (1993) Proceedings FORTE'92. IFIP Trans. C , vol.10 , pp. 133-146
    • Zhang, S.1    Smolka, S.A.2


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