Automated Learning of Probabilistic Assumptions for Compositional Reasoning

Lu Feng, Marta Z. Kwiatkowska, David Parker. Automated Learning of Probabilistic Assumptions for Compositional Reasoning. In Dimitra Giannakopoulou, Fernando Orejas, editors, Fundamental Approaches to Software Engineering - 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011. Proceedings. Volume 6603 of Lecture Notes in Computer Science, pages 2-17, Springer, 2011. [doi]

Abstract

Abstract is missing.