Hardness for Explicit State Software Model Checking Benchmarks

Neha Rungta, Eric G. Mercer. Hardness for Explicit State Software Model Checking Benchmarks. In Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 10-14 September 2007, London, England, UK. pages 247-256, IEEE Computer Society, 2007. [doi]

Abstract

Abstract is missing.