PuMoC

A CTL Model Checker for Sequential Programs

Home

Download

Quick Start

References

Experiments

 

 

 

[CONCUR11] Fu Song and Tayssir Touili. Efficient CTL Model-Checking for Pushdown Systems. In CONCUR 2011. [ PDF]
[ASE12] Fu Song and Tayssir Touili. PuMoC: A CTL Model-Checker For Sequential Programs. In ASE 2012. [ PDF]
[TCS14] Fu Song and Tayssir Touili. Efficient CTL Model-Checking for Pushdown Systems. In TCS 2014. [ PDF]

 

 

Copyright © 2011-2012 LIAFA, University of Paris Diderot and CNRS.