Learning minimal separating DFA's for compositional verification

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5505 LNCS, Issue , 2009, Pages 31-45

  Chen, Yu Fang ^a   Farzan, Azadeh ^b   Clarke, Edmund M ^c   Tsay, Yih Kuen ^a   Wang, Bow Yaw ^d  

^a NATIONAL TAIWAN UNIVERSITY   (Taiwan)

^b UNIVERSITY OF TORONTO   (Canada)

^c CARNEGIE MELLON UNIVERSITY   (United States)

^d ACADEMIA SINICA   (Taiwan)

Author keywords

[No Author keywords available]

Indexed keywords

BENCH-MARK PROBLEMS; COMPOSITIONAL VERIFICATION; EFFICIENT LEARNING; QUERY COMPLEXITY; REGULAR LANGUAGES;

AUTOMATION; COMPUTER SOFTWARE; EDUCATION; LEARNING SYSTEMS; LINGUISTICS; QUERY LANGUAGES; ALGORITHMS; COMPUTATIONAL LINGUISTICS; SEPARATION;

LEARNING ALGORITHMS;

EID: 70350376517     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-00768-2_3     Document Type: Conference Paper

References (18)

1. Alur, R., Madhusudan, P., Nam, W.: Symbolic compositional verification by learning assumptions. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, vol. 3576, pp. 548-562. Springer, Heidelberg (2005)
2. Angluin, D.: Learning regular sets from queries and counterexamples. Information and Computation 75(2), 87-106 (1987)
3. Angluin, D.: Negative results for equivalence queries. Machine Learning 5(2), 121-150 (1990)
4. Barringer, H., Giannakopoulou, D., Pǎšareanu, C.S.: Proof rules for automated compositional verification through learning. In: SAVCBS 2003, pp. 14-21 (2003)
5. Chaki, S., Clarke, E.M., Sinha, N., Thati, P.: Dynamic component substitutability analysis. In: Fitzgerald, J.S., Hayes, I.J., Tarlecki, A. (eds.) FM 2005. LNCS, vol. 3582, pp. 512-528. Springer, Heidelberg (2005)
6. Chaki, S., Strichman, O.: Optimized L*-based assume-guarantee reasoning. In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol. 4424, pp. 276-291. Springer, Heidelberg (2007)
7. Chen, Y.-F., Farzan, A., Clarke, E.M., Tsay, Y.-K.,Wang, B.-Y.: Learning minimal separating DFA's for compositional verification. Technical Report CMU-CS-09-101, Carnegie Mellon Univeristy (2009)
8. Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press, Cambridge (1999)
9. Cobleigh, J.M., Avrunin, G.S., Clarke, L.A.: Breaking up is hard to do: An evaluation of automated assume-guarantee reasoning. ACM Transactions on Software Engineering and Methodology 7(2), 1-52 (2008)
10. Cobleigh, J.M., Giannakopoulou, D., P?as?areanu, C.S.: Learning assumptions for compositional verification. In: Garavel, H., Hatcliff, J. (eds.) TACAS 2003. LNCS, vol. 2619, pp. 331-346. Springer, Heidelberg (2003)
11. Farzan, A., Chen, Y.-F., Clarke, E.M., Tsay, Y.-K., Wang, B.-Y.: Extending automated compositional verification to the full class of omega-regular languages. In: Apolloni, B., Howlett, R.J., Jain, L. (eds.) KES 2007, Part II. LNCS, vol. 4693, pp. 2-17. Springer, Heidelberg (2007)
12. Gheorghiu, M., Giannakopoulou, D., P?as?areanu, C.S.: Refining interface alphabets for compositional verification. In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol. 4424, pp. 292-307. Springer, Heidelberg (2007)
13. Grinchtein, O., Leucker, M., Piterman, N.: Inferring network invariants automatically. In: Furbach, U., Shankar, N. (eds.) IJCAR 2006. LNCS (LNAI), vol. 4130, pp. 483-497. Springer, Heidelberg (2006)
14. Gupta, A., McMillan, K.L., Fu, Z.: Automated assumption generation for compositional verification. In: Damm,W., Hermanns, H. (eds.) CAV 2007. LNCS, vol. 4590, pp. 420-432. Springer, Heidelberg (2007)
15. Paull, M.C., Unger, S.H.: Minimizing the number of states in incompletely specified sequential switching functions. IRE Transitions on Electronic Computers EC-8, 356-366 (1959)
16. Pena, J.M., Oliveira, A.L.: A new algorithm for the reduction of incompletely specified finite state machines. In: ICCAD 1998, pp. 482-489. ACM Press, New York (1998)
17. Rivest, R.L., Schapire, R.E.: Inference of finite automata using homing sequences. Information and Computation 103(2), 299-347 (1993)
18. Sinha, N., Clarke, E.M.: SAT-based compositional verification using lazy learning. In: Damm, W., Hermanns, H. (eds.) CAV 2007. LNCS, vol. 4590, pp. 39-54. Springer, Heidelberg (2007)