Barringer, H., Giannakopoulou, D., Pasareanu, C.S. 2003. Proof Rules for Automated Compositional Verification Through Learning. In Proceedings. of the Second Workshop on Specification and Verification of Component-Based Systems, pp 14--21.  Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Automatic Generation of Assumptions for Modular Verification of .. - Riva, Tuya (2006) (Correct)
No context found.
Barringer, H., Giannakopoulou, D., Pasareanu, C.S. 2003. Proof Rules for Automated Compositional Verification Through Learning. In Proceedings. of the Second Workshop on Specification and Verification of Component-Based Systems, pp 14--21.
Breaking Up is Hard to Do: An Investigation of.. - Cobleigh, Avrunin.. (2004) (Correct)
No context found.
H. Barringer, D. Giannakopoulou, and C. S. P as areanu. Proof rules for automated compositional verification through learning. In Proc. of the Second Workshop on Specification and Verification of Component-Based Systems, pages 14--21, Sept. 2003.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC