Here is a selection of software I have developed or contributed to (documentation about the systems can be found in my publications). More softwares from the CeP team can be found on this page.

Software bounded model checking

I am currently working on a framework for software bounded model checking. The framework allows to experiment with a portfolio of constraint solvers and strategies that explore the control flow graph of a program. More information is available on the project page.


Here is the latest version (currently 1.9.5) of a Java 1.2 implementation of the SOSSubCR system, formerly called SOSC--. It is a jar file you can run with the following command line to get some help: java -jar sossubc.jar -h
You will also need the rule file.