메뉴 건너뛰기




Volumn 5311 LNCS, Issue , 2008, Pages 258-273

Time-progress evaluation for dense-time automata with concave path conditions

Author keywords

Concave; Convex; Model checking; TCTL; Time progress; Timed automaton

Indexed keywords

AUTOMATA THEORY; BENCHMARKING; ROBOTS;

EID: 56749153540     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-88387-6_24     Document Type: Conference Paper
Times cited : (6)

References (12)
  • 1
    • 56749140648 scopus 로고    scopus 로고
    • Alur, R., Courcoubetis, C., Dill, D.L.: Model Checking for Real-Time Systems. In: IEEE LICS (1990)
    • Alur, R., Courcoubetis, C., Dill, D.L.: Model Checking for Real-Time Systems. In: IEEE LICS (1990)
  • 2
    • 0000050873 scopus 로고
    • Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems
    • Grossman, R.L, Nerode, A, Ravn, A.P, Rischel, H, eds, HS 1991 and HS 1992, Springer, Heidelberg
    • Alur, R., Courcoubetis, C., Henzinger, T.A., Ho, P.-H.: Hybrid Automata: an Algorithmic Approach to the Specification and Verification of Hybrid Systems. In: Grossman, R.L., Nerode, A., Ravn, A.P., Rischel, H. (eds.) HS 1991 and HS 1992. LNCS, vol. 736, pp. 209-229. Springer, Heidelberg (1993)
    • (1993) LNCS , vol.736 , pp. 209-229
    • Alur, R.1    Courcoubetis, C.2    Henzinger, T.A.3    Ho, P.-H.4
  • 4
    • 84958037228 scopus 로고    scopus 로고
    • UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems
    • Hybrid Control System Symposium, Springer, Heidelberg
    • Bengtsson, J., Larsen, K., Larsson, F., Pettersson, P., Yi, W.: UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems. In: Hybrid Control System Symposium. LNCS. Springer, Heidelberg (1996)
    • (1996) LNCS
    • Bengtsson, J.1    Larsen, K.2    Larsson, F.3    Pettersson, P.4    Yi, W.5
  • 5
    • 84944099472 scopus 로고    scopus 로고
    • Dill, D.L.: Timing Assumptions and Verification of Finite-state Concurrent Systems. In: Sifakis, J. (ed.) CAV 1989. LNCS, 407. Springer, Heidelberg (1990)
    • Dill, D.L.: Timing Assumptions and Verification of Finite-state Concurrent Systems. In: Sifakis, J. (ed.) CAV 1989. LNCS, vol. 407. Springer, Heidelberg (1990)
  • 6
    • 56749130432 scopus 로고
    • reported in:) Analyse des travaux de l'Académie Royale des Sciences pendant l'année
    • Partie Mathématique
    • Fourier, J.B.: (reported in:) Analyse des travaux de l'Académie Royale des Sciences pendant l'année 1824, Partie Mathématique (1827)
    • (1824)
    • Fourier, J.B.1
  • 8
    • 35248884302 scopus 로고    scopus 로고
    • Wang, F.: Efficient Verification of Timed Automata with BDD-like Data-Structures, STTT (Software Tools for Technology Transfer), 6(1) (June 2004) In: Zuck, L.D., Attie, P.C., Cortesi, A., Mukhopadhyay, S. (eds.) VMCAI 2003. LNCS, 2575, pp. 189-205. Springer, Heidelberg (2002)
    • Wang, F.: Efficient Verification of Timed Automata with BDD-like Data-Structures, STTT (Software Tools for Technology Transfer), vol. 6(1) (June 2004) In: Zuck, L.D., Attie, P.C., Cortesi, A., Mukhopadhyay, S. (eds.) VMCAI 2003. LNCS, vol. 2575, pp. 189-205. Springer, Heidelberg (2002)
  • 9
    • 17644425262 scopus 로고    scopus 로고
    • Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-like Data-Structures
    • Wang, F.: Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-like Data-Structures. IEEE Transactions on Software Engineering 31(1), 38-51 (2005);
    • (2005) IEEE Transactions on Software Engineering , vol.31 , Issue.1 , pp. 38-51
    • Wang, F.1
  • 10
    • 56749142679 scopus 로고    scopus 로고
    • A preliminary version. In: Alur, R., Peled, D.A. (eds.) CAV 2004. LNCS, 3114, pp. 38-51. Springer, Heidelberg (2004)
    • A preliminary version. In: Alur, R., Peled, D.A. (eds.) CAV 2004. LNCS, vol. 3114, pp. 38-51. Springer, Heidelberg (2004)
  • 11
    • 33947108848 scopus 로고    scopus 로고
    • TCTL Inevitability Analysis of Dense-Time Systems: From Theory to Engineering
    • Wang, F., Huang, G.-D., Yu, F.: TCTL Inevitability Analysis of Dense-Time Systems: From Theory to Engineering. IEEE Transactions on Software Engineering 32(7) (2006)
    • (2006) IEEE Transactions on Software Engineering , vol.32 , Issue.7
    • Wang, F.1    Huang, G.-D.2    Yu, F.3
  • 12
    • 84896693998 scopus 로고    scopus 로고
    • Yovine, S.: Kronos: A Verification Tool for Real-Time Systems. International Journal of Software Tools for Technology Transfer 1(1/2) (October 1997)
    • Yovine, S.: Kronos: A Verification Tool for Real-Time Systems. International Journal of Software Tools for Technology Transfer 1(1/2) (October 1997)


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