메뉴 건너뛰기




Volumn 2619, Issue , 2003, Pages 271-277

MOBY/DC - A tool for model-checking parametric real-time specifications

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; AUTOMATA THEORY; CALCULATIONS; INTERACTIVE COMPUTER SYSTEMS; PARAMETER ESTIMATION; REAL TIME SYSTEMS;

EID: 35248896758     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36577-x_19     Document Type: Article
Times cited : (8)

References (15)
  • 1
    • 84958752919 scopus 로고    scopus 로고
    • TReX: A Tool for Reachability Analysis of Complex Systems
    • G. Berry, H. Comon, and A. Finkel, editors, Proceedings of CAV 2001, number 2102 Springer
    • A. Annichini, A. Bouajjani, and M. Sighireanu. TReX: A Tool for Reachability Analysis of Complex Systems. In G. Berry, H. Comon, and A. Finkel, editors, Proceedings of CAV 2001, number 2102 in LNCS. Springer, 2001.
    • (2001) LNCS
    • Annichini, A.1    Bouajjani, A.2    Sighireanu, M.3
  • 3
    • 84957368769 scopus 로고    scopus 로고
    • Graphical Specification and Reasoning: Case Study "Generalized Railroad Crossing"
    • J. Fitzgerald, C.B. Jones, and P. Lucas, editors, FME'97, Graz, Austria, September Springer
    • H. Dierks and C. Dietz. Graphical Specification and Reasoning: Case Study "Generalized Railroad Crossing". In J. Fitzgerald, C.B. Jones, and P. Lucas, editors, FME'97, volume 1313 of LNCS, pages 20-39, Graz, Austria, September 1997. Springer.
    • (1997) LNCS , vol.1313 , pp. 20-39
    • Dierks, H.1    Dietz, C.2
  • 4
    • 84896819101 scopus 로고    scopus 로고
    • HYTECH: A model checker for hybrid systems
    • December
    • T.A. Henzinger, P.-H. Ho, and H. Wong-Toi. HYTECH: a model checker for hybrid systems. STTT, 1(1+2):110-122, December 1997.
    • (1997) STTT , vol.1 , Issue.1-2 , pp. 110-122
    • Henzinger, T.A.1    Ho, P.-H.2    Wong-Toi, H.3
  • 8
    • 0001540660 scopus 로고    scopus 로고
    • Duration Calculus: Logical Foundations
    • M.R. Hansen and Zhou Chaochen. Duration Calculus: Logical Foundations. FAC, 9:283-330, 1997.
    • (1997) FAC , vol.9 , pp. 283-330
    • Hansen, M.R.1    Chaochen, Z.2
  • 9
    • 4243532938 scopus 로고
    • Constraint logic programming: A survey
    • May-July
    • J. Jaffar and M. J. Maher. Constraint logic programming: A survey. The Journal of Logic Programming, 19/20:503-582, May-July 1994.
    • (1994) The Journal of Logic Programming , vol.19-20 , pp. 503-582
    • Jaffar, J.1    Maher, M.J.2
  • 11
    • 84958598850 scopus 로고    scopus 로고
    • Partition Refinement in Real-Time Model Checking
    • A.P. Ravn and H. Rischel, editors, Formal Techniques in Real-Time and Fault-Tolerant Systems, Lyngby, Denmark, September Springer
    • R. Lutje Spelberg, H. Toetenel, and M. Ammerlaan. Partition Refinement in Real-Time Model Checking. In A.P. Ravn and H. Rischel, editors, Formal Techniques in Real-Time and Fault-Tolerant Systems, volume 1486 of LNCS, pages 143-157, Lyngby, Denmark, September 1998. Springer.
    • (1998) LNCS , vol.1486
    • Lutje Spelberg, R.1    Toetenel, H.2    Ammerlaan, M.3
  • 12
    • 35248818970 scopus 로고    scopus 로고
    • Master's thesis, University of Oldenburg, Department of Computer Science, Oldenburg, Germany, (in German)
    • C. Mrugalla. Transformation of phase automata into timed automata. Master's thesis, University of Oldenburg, Department of Computer Science, Oldenburg, Germany, 2000. (in German).
    • (2000) Transformation of Phase Automata into Timed Automata
    • Mrugalla, C.1
  • 13
    • 0009067912 scopus 로고    scopus 로고
    • Refining System Requirements to Program Specifications
    • C. Heitmeyer and D. Mandrioli, editors, Formal Methods for Real-Time Computing, Wiley
    • E.-R. Olderog, A.P. Ravn, and J.U. Skakkebæk. Refining System Requirements to Program Specifications. In C. Heitmeyer and D. Mandrioli, editors, Formal Methods for Real-Time Computing, volume 5 of Trends in Software, pages 107-134. Wiley, 1996.
    • (1996) Trends in Software , vol.5 , pp. 107-134
    • Olderog, E.-R.1    Ravn, A.P.2    Skakkebæk, J.U.3
  • 14
    • 35248873009 scopus 로고    scopus 로고
    • Master's thesis, University of Oldenburg, Department of Computer Science, Oldenburg, Germany, (in German)
    • A. Schäfer. Fault tree analysis and real-time model-checking. Master's thesis, University of Oldenburg, Department of Computer Science, Oldenburg, Germany, 2001. (in German).
    • (2001) Fault Tree Analysis and Real-time Model-checking
    • Schäfer, A.1


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