메뉴 건너뛰기




Volumn 4428 LNAI, Issue , 2007, Pages 51-66

Using predicate abstraction to generate heuristic functions in UPPAAL

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; AUTOMATA THEORY; DATABASE SYSTEMS; HEURISTIC PROGRAMMING; MODEL CHECKING; NETWORK SECURITY;

EID: 38049161655     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-74128-2_4     Document Type: Conference Paper
Times cited : (8)

References (17)
  • 2
    • 0038601527 scopus 로고    scopus 로고
    • Chaki, S., Clarke, E., Groce, A., Jha, S., Veith, H.: Modular verification of software components in C. In: ICSE'2003: Int. Conf. on Software Engineering, pp. 385-395 (2003)
    • Chaki, S., Clarke, E., Groce, A., Jha, S., Veith, H.: Modular verification of software components in C. In: ICSE'2003: Int. Conf. on Software Engineering, pp. 385-395 (2003)
  • 4
    • 21044450840 scopus 로고    scopus 로고
    • Comparing model-checking and logical reasoning for real-time systems
    • Dierks, H.: Comparing model-checking and logical reasoning for real-time systems. Formal Aspects of Computing 16(2), 104-120 (2004)
    • (2004) Formal Aspects of Computing , vol.16 , Issue.2 , pp. 104-120
    • Dierks, H.1
  • 5
    • 33745772398 scopus 로고    scopus 로고
    • Directed model checking with distance-preserving abstractions
    • Valmari, A, ed, Model Checking Software, Springer, Heidelberg
    • Dräger, K., Finkbeiner, B., Podelski, A.: Directed model checking with distance-preserving abstractions. In: Valmari, A. (ed.) Model Checking Software. LNCS, vol. 3925, Springer, Heidelberg (2006)
    • (2006) LNCS , vol.3925
    • Dräger, K.1    Finkbeiner, B.2    Podelski, A.3
  • 6
    • 84894638887 scopus 로고    scopus 로고
    • Directed explicit model checking with HSFSPIN
    • Dwyer, M.B, ed, Model Checking Software, Springer, Heidelberg
    • Edelkamp, S., Lluch-Lafuente, A., Leue, S.: Directed explicit model checking with HSFSPIN. In: Dwyer, M.B. (ed.) Model Checking Software. LNCS, vol. 2057, pp. 57-79. Springer, Heidelberg (2001)
    • (2001) LNCS , vol.2057 , pp. 57-79
    • Edelkamp, S.1    Lluch-Lafuente, A.2    Leue, S.3
  • 8
    • 84947441305 scopus 로고    scopus 로고
    • Graf, S., Saïdi, H.: Construction of abstract state graphs with PVS. In: Grumberg, O. (ed.) CAV 1997. LNCS, 1254, pp. 72-83. Springer, Heidelberg (1997)
    • Graf, S., Saïdi, H.: Construction of abstract state graphs with PVS. In: Grumberg, O. (ed.) CAV 1997. LNCS, vol. 1254, pp. 72-83. Springer, Heidelberg (1997)
  • 12
    • 84949528609 scopus 로고    scopus 로고
    • Krieg-Brückner, B., Peleska, J., Olderog, E., Baer, A.: The UniForM Workbench, a universal development environment for formal methods. In: Wing, J.M., Woodcock, J.C.P., Davies, J. (eds.) FM 1999. LNCS, 1708, pp. 1186-1205. Springer, Heidelberg (1999)
    • Krieg-Brückner, B., Peleska, J., Olderog, E., Baer, A.: The UniForM Workbench, a universal development environment for formal methods. In: Wing, J.M., Woodcock, J.C.P., Davies, J. (eds.) FM 1999. LNCS, vol. 1708, pp. 1186-1205. Springer, Heidelberg (1999)
  • 13
    • 33745795134 scopus 로고    scopus 로고
    • Adapting an AI planning heuristic for directed model checking
    • Valmari, A, ed, Model Checking Software, Springer, Heidelberg
    • Kupferschmid, S., Hoffmann, J., Dierks, H., Behrmann, G.: Adapting an AI planning heuristic for directed model checking. In: Valmari, A. (ed.) Model Checking Software. LNCS, vol. 3925, Springer, Heidelberg (2006)
    • (2006) LNCS , vol.3925
    • Kupferschmid, S.1    Hoffmann, J.2    Dierks, H.3    Behrmann, G.4
  • 14
    • 84887389810 scopus 로고    scopus 로고
    • Podelski, A., Rybalchenko, A.: ARMC: the logical choice for software model checking with abstraction refinement. In: Hanus, M. (ed.) PADL 2007. LNCS, 4354, pp. 245-259. Springer, Heidelberg (2007)
    • Podelski, A., Rybalchenko, A.: ARMC: the logical choice for software model checking with abstraction refinement. In: Hanus, M. (ed.) PADL 2007. LNCS, vol. 4354, pp. 245-259. Springer, Heidelberg (2007)
  • 15
    • 35048825355 scopus 로고    scopus 로고
    • Guided invariant model checking based on abstraction and symbolic pattern databases
    • Jensen, K, Podelski, A, eds, TACAS 2004, Springer, Heidelberg
    • Qian, K., Nymeyer, A.: Guided invariant model checking based on abstraction and symbolic pattern databases. In: Jensen, K., Podelski, A. (eds.) TACAS 2004. LNCS, vol. 2988, pp. 497-511. Springer, Heidelberg (2004)
    • (2004) LNCS , vol.2988 , pp. 497-511
    • Qian, K.1    Nymeyer, A.2
  • 17
    • 36348933844 scopus 로고    scopus 로고
    • Constraint solving for interpolation
    • Cook, B, Podelski, A, eds, VMCAI 2007, Springer, Heidelberg
    • Rybalchenko, A., Sofronie-Stokkermans, V.: Constraint solving for interpolation. In: Cook, B., Podelski, A. (eds.) VMCAI 2007. LNCS, vol. 4349, Springer, Heidelberg (2007)
    • (2007) LNCS , vol.4349
    • Rybalchenko, A.1    Sofronie-Stokkermans, V.2


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