메뉴 건너뛰기




Volumn , Issue , 2001, Pages 214-223

Symbolic model checking of real-time systems

Author keywords

[No Author keywords available]

Indexed keywords

DISCRETE TIME; MODEL CHECKING ALGORITHM; QUALITATIVE PROPERTIES; QUANTITATIVE INFORMATION; REAL-TIME TEMPORAL LOGIC; SPECIFICATION AND VERIFICATION; SYMBOLIC MODEL CHECKING; TEMPORAL PROPERTY;

EID: 0347116915     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/TIME.2001.930720     Document Type: Conference Paper
Times cited : (13)

References (17)
  • 3
    • 0042078737 scopus 로고
    • Real-time symbolic model checking for discrete time models
    • In T. Rus and C. Rattray, editors, World Scientific Press, AMAST Series in Computing, May
    • S. Campos and E. Clarke. Real-Time Symbolic Model Checking for Discrete Time Models. In T. Rus and C. Rattray, editors, Theories and Experiences for Real-Time System Development, MAST Series in Computing. World Scientific Press, AMAST Series in Computing, May 1994.
    • (1994) Theories and Experiences for Real-Time System Development, MAST Series in Computing
    • Campos, S.1    Clarke, E.2
  • 4
    • 85037030721 scopus 로고
    • Design and synthesis of synchronization skeletons using branching time temporal logic
    • In D. Kozen, editor, Yorktown Heights, New York, May. Springer-Verlag
    • E. Clarke and E. Emerson. Design and Synthesis of Synchronization Skeletons using Branching Time Temporal Logic. In D. Kozen, editor, Workshop on Logics of Programs, volume 131 of Lecture Notes in Computer Science, pages 52-71, Yorktown Heights, New York, May 1981. Springer-Verlag
    • (1981) Workshop on Logics of Programs, Volume 131 of Lecture Notes in Computer Science , pp. 52-71
    • Clarke, E.1    Emerson, E.2
  • 5
    • 0022706656 scopus 로고
    • Automatic verification of finite-state concurrent systems using temporal logic specifications
    • April
    • E. Clarke, E. Emerson, and A. Sistla. Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications. ACM Transactions on Programming Languages and Systems, 8(2):244-263, April 1986.
    • (1986) ACM Transactions on Programming Languages and Systems , vol.8 , Issue.2 , pp. 244-263
    • Clarke, E.1    Emerson, E.2    Sistla, A.3
  • 8
    • 0001449325 scopus 로고
    • Temporal and modal logic
    • In J. van Leeuwen, editor, Amsterdam, Elsevier Science Publishers
    • E. Emerson. Temporal and Modal Logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, pages 996-1072, Amsterdam, 1990. Elsevier Science Publishers
    • (1990) Handbook of Theoretical Computer Science, Volume B , pp. 996-1072
    • Emerson, E.1
  • 10
    • 0029779081 scopus 로고    scopus 로고
    • An efficient algorithm for real-time model checking
    • Paris, France, March. IEEE Computer Society Press (Los Alamitos, California)
    • J. FroJ31, J. Gerlach, and T. Kropf. An Efficient Algorithm for Real-Time Model Checking. In European Design and Test Conference (EDTC), pages 15-21, Paris, France, March 1996. IEEE Computer Society Press (Los Alamitos, California).
    • (1996) European Design and Test Conference (EDTC) , pp. 15-21
    • Froj, J.1    Gerlach, J.2    Kropf, T.3
  • 12
    • 84893648173 scopus 로고    scopus 로고
    • Abstraction from counters: An application on real-time systems
    • Paris, France, March. IEEE Computer Society Press
    • G. Logothetis and K. Schneider. Abstraction from counters: An application on real-time systems. In Design, Automation and Test in Europe (DATE'2000), Paris, France, March 2000. IEEE Computer Society Press
    • (2000) Design, Automation and Test in Europe (DATE'2000)
    • Logothetis, G.1    Schneider, K.2
  • 13
    • 0347116916 scopus 로고    scopus 로고
    • A new approach to the specification and verification of real-time systems
    • IEEE/ACM,.
    • G. Logothetis and K. Schneider. A new approach to the specification and verification of real-time systems. In EUROMICRO Conference on Real-Eme Systems. IEEE/ACM, 2001. http://goethe.ira.uka.de/fmg/psLoScOl. ps.gz
    • (2001) EUROMICRO Conference on Real-Eme Systems
    • Logothetis, G.1    Schneider, K.2
  • 16
    • 0041577750 scopus 로고    scopus 로고
    • Using MTF3DDs for discrete timed symbolic model checking
    • Special Issue on Decision Diagrams
    • J. Ruf and T. Kropf. Using MTF3DDs for discrete timed symbolic model checking. Multiple-valued Logic-An International Joumal, 1998. Special Issue on Decision Diagrams
    • (1998) Multiple-valued Logic-An International Joumal
    • Ruf, J.1    Kropf, T.2


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