Affiliation:
1. VNU University of Engineering and Technology
Publisher
Institute of Electronics, Information and Communications Engineers (IEICE)
Subject
Artificial Intelligence,Electrical and Electronic Engineering,Computer Vision and Pattern Recognition,Hardware and Architecture,Software
Reference30 articles.
1. [1] D. Angluin, “Learning regular sets from queries and counterexamples,” Inf. Comput., vol.75, no.2, pp.87-106, Nov. 1987. 10.1016/0890-5401(87)90052-6
2. [2] H. Barringer and D. Giannakopoulou, “Proof rules for automated compositional verification through learning,” Proc. SAVCBS Workshop, pp.14-21, 2003.
3. [3] S. Chaki and O. Strichman, “Optimized l*-based assume-guarantee reasoning,” Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007, Proceedings, pp.276-291, Springer Berlin Heidelberg, Berlin, Heidelberg, 2007. 10.1007/978-3-540-71209-1_22
4. [4] Y.-F. Chen, A. Farzan, E.M. Clarke, Y.-K. Tsay, and B.-Y. Wang, “Learning minimal separating dfa's for compositional verification,” Tools and Algorithms for the Construction and Analysis of Systems, pp.31-45, Springer Berlin Heidelberg, Berlin, Heidelberg, 2009. 10.1007/978-3-642-00768-2_3
5. [5] E.M. Clarke and E.A. Emerson, “Design and synthesis of synchronization skeletons using branching-time temporal logic,” Logic of Programs, Workshop, pp.52-71, Springer-Verlag, 1982.