메뉴 건너뛰기




Volumn 13, Issue , 2009, Pages 67-78

Verifying real-time systems using explicit-time description methods

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL METHODS; INTERACTIVE COMPUTER SYSTEMS; MODEL CHECKING;

EID: 77958041853     PISSN: 20752180     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.4204/EPTCS.13.6     Document Type: Conference Paper
Times cited : (5)

References (20)
  • 3
    • 85051127323 scopus 로고    scopus 로고
    • Last accessed on Nov. 2009
    • DIVINE project. http://divine.fi.muni.cz/. Last accessed on Nov. 2009.
  • 4
    • 84888242890 scopus 로고    scopus 로고
    • Preemptive Job-Shop SchedulingUsing Stopwatch Automata
    • Joost-Pieter Katoen & Perdita Stevens, editors, Springer
    • Yasmina Abdeddäim & OdedMaler (2002): Preemptive Job-Shop SchedulingUsing Stopwatch Automata. In: Joost-Pieter Katoen & Perdita Stevens, editors: TACAS, Lecture Notes in Computer Science 2280. Springer, pp. 113-126.
    • (2002) TACAS, Lecture Notes in Computer Science 2280 , pp. 113-126
    • Abdeddäim, Y.1    Maler, O.2
  • 5
    • 0028413052 scopus 로고
    • A Theory of Timed Automata
    • Rajeev Alur & David L. Dill (1994): A Theory of Timed Automata. Theor. Comput. Sci. 126(2), pp. 183-235.
    • (1994) Theor. Comput. Sci , vol.126 , Issue.2 , pp. 183-235
    • Alur, R.1    Dill, D.L.2
  • 6
    • 51549096502 scopus 로고
    • Logics andModels of Real Time: A Survey
    • J.W. de Bakker, Cornelis Huizing, Willem P. de Roever & Grzegorz Rozenberg, editors, Springer-Verlag
    • Rajeev Alur & ThomasA. Henzinger (1991): Logics andModels of Real Time: A Survey. In: J.W. de Bakker, Cornelis Huizing, Willem P. de Roever & Grzegorz Rozenberg, editors: REX Workshop, Lecture Notes in Computer Science 600. Springer-Verlag, pp. 74-106.
    • (1991) REX Workshop, Lecture Notes in Computer Science 600 , pp. 74-106
    • Alur, R.1    Henzinger Thomas, A.2
  • 9
    • 35048861846 scopus 로고    scopus 로고
    • Timed Automata: Semantics, Algorithms and Tools
    • Jörg Desel, Wolfgang Reisig & Grzegorz Rozenberg, editors, Springer
    • Johan Bengtsson & Wang Yi (2003): Timed Automata: Semantics, Algorithms and Tools. In: Jörg Desel, Wolfgang Reisig & Grzegorz Rozenberg, editors: Lectures on Concurrency and Petri Nets, Lecture Notes in Computer Science 3098. Springer, pp. 87-124.
    • (2003) Lectures on Concurrency and Petri Nets, Lecture Notes in Computer Science 3098 , pp. 87-124
    • Bengtsson, J.1    Yi, W.2
  • 10
    • 44649155854 scopus 로고    scopus 로고
    • Introducing Time in an Industrial Application of Model-Checking
    • Stefan Leue & Pedro Merino, editors, Springer
    • Lionel van den Berg, Paul A. Strooper & Kirsten Winter (2007): Introducing Time in an Industrial Application of Model-Checking. In: Stefan Leue & Pedro Merino, editors: FMICS, Lecture Notes in Computer Science 4916. Springer, pp. 56-67.
    • (2007) FMICS, Lecture Notes in Computer Science 4916 , pp. 56-67
    • Van Den Berg, L.1    Strooper, P.A.2    Winter, K.3
  • 13
    • 35048826323 scopus 로고    scopus 로고
    • Modeling and Verification of a Fault-Tolerant Real-Time Startup Protocol Using Calendar Automata
    • Yassine Lakhnech & Sergio Yovine, editors, Springer-Verlag
    • Bruno Dutertre & Maria Sorea (2004): Modeling and Verification of a Fault-Tolerant Real-Time Startup Protocol Using Calendar Automata. In: Yassine Lakhnech & Sergio Yovine, editors: FORMATS/FTRTFT, Lecture Notes in Computer Science 3253. Springer-Verlag, pp. 199-214.
    • (2004) FORMATS/FTRTFT, Lecture Notes in Computer Science 3253 , pp. 199-214
    • Dutertre, B.1    Sorea, M.2
  • 15
    • 35048885122 scopus 로고    scopus 로고
    • Decidable and Undecidable Problems in Schedulability Analysis Using Timed Automata
    • Kurt Jensen & Andreas Podelski, editors, Springer
    • Pavel Krcál & Wang Yi (2004): Decidable and Undecidable Problems in Schedulability Analysis Using Timed Automata. In: Kurt Jensen & Andreas Podelski, editors: TACAS, Lecture Notes in Computer Science 2988. Springer, pp. 236-250.
    • (2004) TACAS, Lecture Notes in Computer Science 2988 , pp. 236-250
    • Krcál, P.1    Yi, W.2
  • 16
    • 33646426099 scopus 로고    scopus 로고
    • Real-Time Model Checking is Really Simple
    • Dominique Borrione & Wolfgang J. Paul, editors, Springer-Verlag
    • Leslie Lamport (2005): Real-Time Model Checking is Really Simple. In: Dominique Borrione & Wolfgang J. Paul, editors: CHARME, Lecture Notes in Computer Science 3725. Springer-Verlag, pp. 162-175.
    • (2005) CHARME, Lecture Notes in Computer Science 3725 , pp. 162-175
    • Lamport, L.1
  • 18
    • 0022987223 scopus 로고
    • An Automata-Theoretic Approach to Automatic Program Verification (Preliminary Report)
    • Moshe Y. Vardi & Pierre Wolper (1986): An Automata-Theoretic Approach to Automatic Program Verification (Preliminary Report). In: LICS. IEEE Computer Society, pp. 332-344.
    • (1986) LICS. IEEE Computer Society , pp. 332-344
    • Vardi, M.Y.1    Wolper, P.2


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