메뉴 건너뛰기




Volumn 2896, Issue , 2003, Pages 260-275

Generating optimal linear temporal logic monitors by coinduction

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; COMPUTER CIRCUITS; RECONFIGURABLE HARDWARE;

EID: 0347586988     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-40965-6_17     Document Type: Article
Times cited : (22)

References (27)
  • 2
    • 84947290593 scopus 로고    scopus 로고
    • The Temporal Rover and the ATG Rover
    • SPIN Model Checking and Software Verification, Springer
    • D. Drusinsky. The Temporal Rover and the ATG Rover. In SPIN Model Checking and Software Verification, volume 1885 of LNCS. Springer, 2000.
    • (2000) LNCS , vol.1885
    • Drusinsky, D.1
  • 3
    • 11344253696 scopus 로고    scopus 로고
    • On the construction of monitors for temporal logic properties
    • Elsevier
    • M. Geilen. On the construction of monitors for temporal logic properties. In ENTCS, volume 55. Elsevier, 2001.
    • (2001) ENTCS , vol.55
    • Geilen, M.1
  • 6
    • 35248861359 scopus 로고    scopus 로고
    • Conditional circular coinductive rewriting with case analysis
    • Recent Trends in Algebraic Development Techniques (WADT'02), Frauenchiemsee, Germany, September Springer
    • J. Goguen, K. Lin, and G. Rosu. Conditional circular coinductive rewriting with case analysis. In Recent Trends in Algebraic Development Techniques (WADT'02), LNCS, Frauenchiemsee, Germany, September 2002. Springer.
    • (2002) LNCS
    • Goguen, J.1    Lin, K.2    Rosu, G.3
  • 10
    • 18944392918 scopus 로고    scopus 로고
    • Runtime Verification 2002
    • Elsevier, Proceedings of a Computer Aided Verification (CAV'02) satellite workshop
    • K. Havelund and G. Roşu. Runtime Verification 2002, volume 70(4) of ENTCS. Elsevier, 2002. Proceedings of a Computer Aided Verification (CAV'02) satellite workshop.
    • (2002) ENTCS , vol.70 , Issue.4
    • Havelund, K.1    Roşu, G.2
  • 11
    • 84888249425 scopus 로고    scopus 로고
    • Synthesizing monitors for safety properties
    • Tools and Algorithms for Construction and Analysis of Systems (TACAS'02), Springer
    • K. Havelund and G. Roşu. Synthesizing monitors for safety properties. In Tools and Algorithms for Construction and Analysis of Systems (TACAS'02), volume 2280 of LNCS. Springer, 2002.
    • (2002) LNCS , vol.2280
    • Havelund, K.1    Roşu, G.2
  • 13
    • 0022029327 scopus 로고
    • Refutational theorem proving using term rewriting systems
    • J. Hsiang. Refutational theorem proving using term rewriting systems. Artificial Intelligence, 25, 1985.
    • (1985) Artificial Intelligence , vol.25
    • Hsiang, J.1
  • 14
    • 19144373771 scopus 로고    scopus 로고
    • Java-MaC: A Run-time Assurance Tool for Java
    • Proceedings of Runtime Verification (RV'01), Elsevier
    • M. Kim, S. Kannan, I. Lee, and O. Sokolsky. Java-MaC: a Run-time Assurance Tool for Java. In Proceedings of Runtime Verification (RV'01), volume 55 of ENTCS. Elsevier, 2001.
    • (2001) ENTCS , vol.55
    • Kim, M.1    Kannan, S.2    Lee, I.3    Sokolsky, O.4
  • 18
    • 0043229221 scopus 로고    scopus 로고
    • An update on STeP: Deductive-algorithmic verification of reactive systems
    • Tool Support for System Specification, Development and Verification, Springer
    • Z. Manna, N. Bjørner, and A. B. et al. An update on STeP: Deductive-algorithmic verification of reactive systems. In Tool Support for System Specification, Development and Verification, LNCS. Springer, 1998.
    • (1998) LNCS
    • Manna, Z.1    Bjørner, N.2    B, A.3
  • 22
    • 0004193326 scopus 로고    scopus 로고
    • PhD thesis, University of California at San Diego
    • G. Roşu. Hidden Logic. PhD thesis, University of California at San Diego, 2000.
    • (2000) Hidden Logic
    • Roşu, G.1
  • 23
    • 84947771910 scopus 로고    scopus 로고
    • Testing extended regular language membership incrementally by rewriting
    • Rewriting Techniques and Applications (RTA '03), Springer
    • G. Roşu and M. Viswanathan. Testing extended regular language membership incrementally by rewriting. In Rewriting Techniques and Applications (RTA '03), LNCS. Springer, 2003.
    • (2003) LNCS
    • Roşu, G.1    Viswanathan, M.2
  • 24
    • 17444392939 scopus 로고    scopus 로고
    • Generating Optimal Monitors for Extended Regular Expressions
    • Proceedings of Runtime Verification (RV'03) (To appear), Elsevier
    • K. Sen and G. Roşu. Generating Optimal Monitors for Extended Regular Expressions. In Proceedings of Runtime Verification (RV'03) (To appear), volume 89(2) of ENTCS. Elsevier, 2003.
    • (2003) ENTCS , vol.89 , Issue.2
    • Sen, K.1    Roşu, G.2
  • 26
    • 84947247929 scopus 로고    scopus 로고
    • Model-Checking Multi-threaded Distributed Java Programs
    • SPIN Model Checking and Software Verification, Springer
    • S. D. Stoller. Model-Checking Multi-threaded Distributed Java Programs. In SPIN Model Checking and Software Verification, volume 1885 of LNCS. Springer, 2000.
    • (2000) LNCS , vol.1885
    • Stoller, S.D.1


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