메뉴 건너뛰기




Volumn 2165, Issue , 2001, Pages 105-119

Randomization helps in ltl model checking

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; DISTRIBUTED COMPUTER SYSTEMS; RANDOM PROCESSES;

EID: 84957810389     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44804-7_7     Document Type: Conference Paper
Times cited : (8)

References (14)
  • 1
    • 0032131465 scopus 로고    scopus 로고
    • AndM. Kwiatkowska. Model Checking for a Probabilistic Branching Time Logic with Fairness
    • C. Baier andM. Kwiatkowska. Model Checking for a Probabilistic Branching Time Logic with Fairness. DISTCOMP: Distributed Computing, 11, 1998.
    • (1998) DISTCOMP: Distributed Computing , pp. 11
    • Baier, C.1
  • 4
    • 84976740260 scopus 로고
    • AndM. Yannakakis. The Complexity of Probabilistic Verification
    • C. Courcoubetis andM. Yannakakis. The Complexity of Probabilistic Verification. Journal of the ACM, 42(4):857–907, July 1995.
    • (1995) Journal of the ACM , vol.42 , Issue.4 , pp. 857-907
    • Courcoubetis, C.1
  • 7
    • 8644254552 scopus 로고    scopus 로고
    • On NestedDepth First Search. In The SPIN Verification System
    • Proc. of the SecondSPIN Workshop
    • G.J. Holzmann, D. Peled, and M. Yannakakis. On NestedDepth First Search. In The SPIN Verification System, pages 23–32. American Mathematical Society, 1996. Proc. of the SecondSPIN Workshop.
    • (1996) American Mathematical Society , pp. 23-32
    • Holzmann, G.J.1    Peled, D.2    Yannakakis, M.3
  • 10
    • 0001790593 scopus 로고
    • Depth First Search andLinear Graph Algorithms
    • R. Tarjan. Depth First Search andLinear Graph Algorithms. SIAM journal on computing, pages 146–160, Januar 1972.
    • (1972) SIAM Journal on Computing , pp. 146-160
    • Tarjan, R.1
  • 13
    • 84957801712 scopus 로고    scopus 로고
    • Model Checking andRand om Competition – A Study Using the Model Checking Framework MIC. 10. GI/ITG Fachgesprach
    • A. K. Wisspeintner, F. Huber, and J. Philipps. Model Checking andRand om Competition – A Study Using the Model Checking Framework MIC. 10. GI/ITG Fachgesprach ”Formale Beschreibungstechniken fur verteilte Systeme”, pages 91–100, June 2000.
    • (2000) ”Formale Beschreibungstechniken Fur Verteilte Systeme” , pp. 91-100
    • Wisspeintner, A.K.1    Huber, F.2    Philipps, J.3


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