메뉴 건너뛰기




Volumn 68, Issue 4, 2002, Pages 503-522

Zeus: A distributed timed model-checker based on Kronos

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; COMPUTATION THEORY; COMPUTER ARCHITECTURE; COMPUTER SOFTWARE; GRAPH THEORY; MATHEMATICAL MODELS; MATRIX ALGEBRA; PROBLEM SOLVING; PROGRAM PROCESSORS; REAL TIME SYSTEMS; SET THEORY;

EID: 18944375262     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(05)80389-5     Document Type: Conference Paper
Times cited : (9)

References (21)
  • 1
    • 44949269544 scopus 로고
    • Model-checking in dense real-time
    • URL
    • Alur R., Courcoubetis C., Dill D.L. Model-checking in dense real-time. Information and Computation. 104:1993;2-34. URL http://citeseer.nj.nec.com/ alur93modelchecking.html
    • (1993) Information and Computation , vol.104 , pp. 2-34
    • Alur, R.1    Courcoubetis, C.2    Dill, D.L.3
  • 2
    • 0028413052 scopus 로고
    • A theory of timed automata
    • URL
    • Alur R., Dill D.L. A theory of timed automata. Theoretical Computer Science. 126:1994;183-235. URL http://citeseer.nj.nec.com/alur94theory.html
    • (1994) Theoretical Computer Science , vol.126 , pp. 183-235
    • Alur, R.1    Dill, D.L.2
  • 3
    • 84894619258 scopus 로고    scopus 로고
    • Distributed LTL model-checking in SPIN
    • URL
    • Barnat J., Brim L., Stríbřná J. Distributed LTL model-checking in SPIN. in: SPIN. 2001;200-216. URL http://citeseer.nj.nec.com/ article/barnat00distributed.html
    • (2001) In: SPIN , pp. 200-216
    • Barnat, J.1    Brim, L.2    Stríbřná, J.3
  • 4
    • 84944389561 scopus 로고    scopus 로고
    • Distributing timed model checking - How the search order matters
    • URL
    • Behrmann G., Hune T., Vaandrager F.W. Distributing timed model checking - how the search order matters. Computer Aided Verification LNCS. 1855:2000;216-231. URL http://citeseer.nj.nec.com/behrmann00distributing.html
    • (2000) Computer Aided Verification LNCS , vol.1855 , pp. 216-231
    • Behrmann, G.1    Hune, T.2    Vaandrager, F.W.3
  • 8
    • 40149092144 scopus 로고    scopus 로고
    • The Tool KRONOS, in: Proceedings of Hybrid Systems III
    • Daws C., Olivero A., Tripakis S., Yovine S. The Tool KRONOS, in: Proceedings of Hybrid Systems III. LNCS. 1066:1996;208-219
    • (1996) LNCS , vol.1066 , pp. 208-219
    • Daws, C.1    Olivero, A.2    Tripakis, S.3    Yovine, S.4
  • 11
    • 84894629087 scopus 로고    scopus 로고
    • Parallel state space construction for model-checking
    • M.B. Dwyer. Toronto, Canada URL
    • Garavel H., Mateescu R., Smarandache I.M. Parallel state space construction for model-checking. in: Dwyer M.B. Proc. of the 8th International SPIN Workshop. 2001;217-234. Toronto, Canada URL http://citeseer.nj.nec.com/ 474094.html
    • (2001) Proc. of the 8th International SPIN Workshop , pp. 217-234
    • Garavel, H.1    Mateescu, R.2    Smarandache, I.M.3
  • 12
    • 0013007059 scopus 로고    scopus 로고
    • Distributed symbolic model checking for m̈-calculus
    • URL
    • Grumberg O., Heyman T., Schuster A. Distributed symbolic model checking for m̈-calculus. in: Computer Aided Verification. 2001;350-362. URL http://citeseer.nj.nec.com/473825.html
    • (2001) In: Computer Aided Verification , pp. 350-362
    • Grumberg, O.1    Heyman, T.2    Schuster, A.3
  • 20
    • 84947425596 scopus 로고    scopus 로고
    • Parallelizing the Murφ verifier
    • URL
    • Stern U., Dill D.L. Parallelizing the Murφ verifier. in: Computer Aided Verification LNCS. 1254:1997;256-278. URL http://citeseer.nj.nec.com/ stern97parallelizing.html
    • (1997) In: Computer Aided Verification LNCS , vol.1254 , pp. 256-278
    • Stern, U.1    Dill, D.L.2


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