PuMoC: a CTL model-checker for sequential programs

Fu Song, Tayssir Touili. PuMoC: a CTL model-checker for sequential programs. In Michael Goedicke, Tim Menzies, Motoshi Saeki, editors, IEEE/ACM International Conference on Automated Software Engineering, ASE'12, Essen, Germany, September 3-7, 2012. pages 346-349, ACM, 2012. [doi]

Abstract

Abstract is missing.