메뉴 건너뛰기
Electronic Notes in Theoretical Computer Science
Volumn 198, Issue 1, 2008, Pages 3-16
A Stack-Slicing Algorithm for Multi-Core Model Checking
Author keywords

Cluster computers; Distributed systems; Logic model checking; Multi core systems; Multi threaded programming; Software verification
Indexed keywords

CLUSTERING ALGORITHMS; LOGIC PROGRAMMING; MODEL CHECKING; SOFTWARE TESTING;
EID: 44349165633     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2007.10.017     Document Type: Article
Times cited : (12)
References (10)
  • 1
    • 44349144787 scopus 로고    scopus 로고
    • Dijkstra, E.W., Shmuel Safra's version of termination detection, EWD998, 15 Jan. 1987
    • Dijkstra, E.W., Shmuel Safra's version of termination detection, EWD998, 15 Jan. 1987
  • 2
    • 44349104462 scopus 로고    scopus 로고
    • Barnat, J., L. Brim, and P. Rockai, Scalable multi-core LTL model-checking, Proc. 14th SPIN Workshop 2007, Berlin, Germany, Springer Verlag, LNCS
    • Barnat, J., L. Brim, and P. Rockai, Scalable multi-core LTL model-checking, Proc. 14th SPIN Workshop 2007, Berlin, Germany, Springer Verlag, LNCS
  • 3
    • 44349120908 scopus 로고    scopus 로고
    • Geldenhuys J., State caching reconsidered. In Susanne Graf and Laurent Mounier, Proc. 11th SPIN Workshop 2004, Barcelona, Spain, Springer Verlag, LNCS 2989
    • Geldenhuys J., State caching reconsidered. In Susanne Graf and Laurent Mounier, Proc. 11th SPIN Workshop 2004, Barcelona, Spain, Springer Verlag, LNCS 2989
  • 4
    • 44349192374 scopus 로고    scopus 로고
    • Holzmann, G.J., D. Peled, and M. Yannakakis, On Nested Depth-First Search, The SPIN Verification System, American Mathematical Society, (1996), 23-32
    • Holzmann, G.J., D. Peled, and M. Yannakakis, On Nested Depth-First Search, The SPIN Verification System, American Mathematical Society, (1996), 23-32
  • 6
    • 33745772510 scopus 로고    scopus 로고
    • Model-driven software verification
    • Proc. 11th SPIN Workshop. 2004, Barcelona, Spain, Springer Verlag
    • Holzmann G.J., and Joshi R. Model-driven software verification. Proc. 11th SPIN Workshop. 2004, Barcelona, Spain. LNCS 2989 (April 2004), Springer Verlag 77-92
    • (2004) LNCS , vol.2989 , pp. 77-92
    • Holzmann, G.J.1    Joshi, R.2
  • 7
    • 44349112067 scopus 로고    scopus 로고
    • Holzmann, G.J., The design of a distributed model checking algorithm for SPIN, Conf. on Formal Methods in Computer Aided Design (FMCAD), San Jose, CA, USA, (November 2006), invited talk
    • Holzmann, G.J., The design of a distributed model checking algorithm for SPIN, Conf. on Formal Methods in Computer Aided Design (FMCAD), San Jose, CA, USA, (November 2006), invited talk
  • 8
    • 44349190610 scopus 로고    scopus 로고
    • Holzmann, G.J., and D. Bosnacki, The design of a multi-core extension of the SPIN model checker, IEEE Trans. On Software Engineering, to appear
    • Holzmann, G.J., and D. Bosnacki, The design of a multi-core extension of the SPIN model checker, IEEE Trans. On Software Engineering, to appear
  • 9
    • 0022075817 scopus 로고
    • Depth First Search is inherently sequential
    • Reif J.H. Depth First Search is inherently sequential. Information Processing Letters 20 5 (1985) 229-234
    • (1985) Information Processing Letters , vol.20 , Issue.5 , pp. 229-234
    • Reif, J.H.1
  • 10
    • 84947425596 scopus 로고    scopus 로고
    • Stern, U., and D. Dill. Parallelizing the Murphi verifier, Proc. 9th Int. Conf. on Computer Aided Verification, Haifa, Israel, Springer Verlag, LNCS 1254, (June 1997), 256-278
    • Stern, U., and D. Dill. Parallelizing the Murphi verifier, Proc. 9th Int. Conf. on Computer Aided Verification, Haifa, Israel, Springer Verlag, LNCS 1254, (June 1997), 256-278

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