On the Distribution of Property Violations in Formal Models: An Initial Study

Jimin Gao, Mats Per Erik Heimdahl, David Owen, Tim Menzies. On the Distribution of Property Violations in Formal Models: An Initial Study. In 30th Annual International Computer Software and Applications Conference (COMPSAC 2006), 17-21 September 2006, Chicago, Illinois, USA. pages 150-160, IEEE Computer Society, 2006. [doi]

Abstract

Abstract is missing.