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.
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.