메뉴 건너뛰기




Volumn 2280 LNCS, Issue , 2002, Pages 21-36

Improving the verification of timed systems using influence information

Author keywords

[No Author keywords available]

Indexed keywords

INFORMATION USE; INTERACTIVE COMPUTER SYSTEMS; TIME SHARING SYSTEMS;

EID: 84888241752     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-46002-0_3     Document Type: Conference Paper
Times cited : (15)

References (28)
  • 1
    • 0024303044 scopus 로고
    • Verifying temporal properties without temporal logic
    • B. Alpern and F. Schneider, "Verifying Temporal Properties without Temporal Logic," ACM Trans. Programming Lang. and Systems, Vol. 11, No. 1, 1989, pp. 147-167.
    • (1989) ACM Trans. Programming Lang. and Systems , vol.11 , Issue.1 , pp. 147-167
    • Alpern, B.1    Schneider, F.2
  • 3
  • 5
    • 19144365969 scopus 로고    scopus 로고
    • Using static analysis to improve automatic test generation
    • LNCS 1785 March/April
    • M. Bozga, J.-C. Fernandez, and L. Ghirvu, "Using Static Analysis to Improve Automatic Test Generation," TACAS 2000, LNCS 1785 March/April 2000.
    • (2000) TACAS 2000
    • Bozga, M.1    Fernandez, J.-C.2    Ghirvu, L.3
  • 8
    • 23944454945 scopus 로고    scopus 로고
    • Extending timed automata for compositional modeling healthy timed systems
    • To be published in Electronic Notes in Theoretical Computer Science
    • V. Braberman, and A. Olivero, "Extending Timed Automata for Compositional Modeling Healthy Timed Systems," 2nd Workshop on Models for Timed Critical Systems 2001. To be published in Electronic Notes in Theoretical Computer Science.
    • 2nd Workshop on Models for Timed Critical Systems 2001
    • Braberman, V.1    Olivero, A.2
  • 13
    • 0030414046 scopus 로고    scopus 로고
    • Reducing the number of clock variables of timed automata
    • IEEE Computer Soc. Press
    • C. Daws and S. Yovine, "Reducing the Number of Clock Variables of Timed Automata," Proc. IEEE RTSS '96, IEEE Computer Soc. Press, 1996.
    • (1996) Proc. IEEE RTSS '96
    • Daws, C.1    Yovine, S.2
  • 19
    • 84957679700 scopus 로고    scopus 로고
    • A formal study of slicing for multi-threaded programs with JVM concurrency primitives
    • LNCS 1694
    • J. Hatcliff, J. Cobett, M. Dwyer, S. Sokolowski, and H. Zheng "A Formal Study of Slicing for Multi-Threaded Programs with JVM Concurrency Primitives," SAS. LNCS 1694, 1999.
    • (1999) SAS
    • Hatcliff, J.1    Cobett, J.2    Dwyer, M.3    Sokolowski, S.4    Zheng, H.5
  • 20
    • 0033689918 scopus 로고    scopus 로고
    • An efficient space generation for the analysis of real-time systems
    • May
    • I. Kang, I. Lee, and Y.S. Kim, "An Efficient Space Generation for the Analysis of Real-Time Systems". Trans. on Software Engineering, Vol. 26, No. 5, pp. 453-477, May 2000.
    • (2000) Trans. on Software Engineering , vol.26 , Issue.5 , pp. 453-477
    • Kang, I.1    Lee, I.2    Kim, Y.S.3
  • 21
    • 0001870215 scopus 로고    scopus 로고
    • CMC: A tool for compositional model-checking of real-time systems
    • Kluwer Academic Publishers
    • K.G. Larsen, F. Laroussinie, "CMC: A Tool for Compositional Model-Checking of Real-Time Systems," Proc. FORTE-PSTV'98, 439-456, Kluwer Academic Publishers, 1998.
    • (1998) Proc. FORTE-PSTV'98 , pp. 439-456
    • Larsen, K.G.1    Laroussinie, F.2
  • 22
    • 0031190774 scopus 로고    scopus 로고
    • Stubborn sets for real-time petri Nets
    • July
    • R Sloan, U. Buy, "Stubborn Sets for Real-Time Petri Nets," Form. Methods in Syst. Design, Vol. 11(1), pp. 23-40, July 1997.
    • (1997) Form. Methods in Syst. Design , vol.11 , Issue.1 , pp. 23-40
    • Sloan, R.1    Buy, U.2
  • 23
    • 18944371395 scopus 로고    scopus 로고
    • A timed automaton-based method for accurate computation of circuit delay in the presence of cross-talk
    • S. Tasiran, S. P. Khatri, S. Yovine, R. K. Brayton, and A. Sangiovanni-Vincentelli. "A Timed Automaton-Based Method for Accurate Computation of Circuit Delay in the Presence of Cross-Talk," FMCAD'98, 1998.
    • (1998) FMCAD'98
    • Tasiran, S.1    Khatri, S.P.2    Yovine, S.3    Brayton, R.K.4    Sangiovanni-Vincentelli, A.5
  • 25
    • 84888235129 scopus 로고    scopus 로고
    • Efficient and user-friendly verification
    • Accepted for Publication, June
    • F. Wang, "Efficient and User-Friendly Verification," Transaction in Computers, Accepted for Publication, June 2001.
    • (2001) Transaction in Computers
    • Wang, F.1
  • 26
    • 85027594526 scopus 로고
    • Real-time behavior of asynchronous agents
    • LNCS 458
    • Wang Yi, "Real-Time Behavior of Asynchronous Agents," Proc. CONCUR'90, LNCS 458, 1990.
    • (1990) Proc. CONCUR'90
    • Yi, W.1
  • 28
    • 84958967825 scopus 로고    scopus 로고
    • Model-checking timed automata
    • G. Rozemberg and F. Vaandrager eds., LNCS 1494
    • S. Yovine, "Model-Checking Timed Automata," Embedded Systems, G. Rozemberg and F. Vaandrager eds., LNCS 1494, 1998.
    • (1998) Embedded Systems
    • Yovine, S.1


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