TOPL is a runtime verifier
of temporal properties for Java programs.
is a Java program verifier that uses
for annotations. The main authors are Matthew Parkinson and Dino Distefano;
I help improve it.
is a verification condition generator for the
is a static verifier for Java programs annotated with
I implemented a big part of the
that is activated by the -era flag.
CLOPS is a domain specific language,
a tool, and a library that make it easy to write Java programs with
a command line interface. I contributed to its design.
is an SMT solver.
I wrote a small module for simplifying
certain circumstances and I might maintain it a bit in the future.
is a web application I used to quickly grade programming homeworks.
Last updated: 25 February 2013