This page attempts to collect together information about RV tools (of reasonable maturity). Currently, tools are simply categorised as either publically available, not publically available, or no longer maintained/information unavailable. If you want your tool to appear on this page or notice an error then please contact the site maintainer (see the main page).

In the near future, this information will be augmented by a more detailed classification based on the taxonomy presented in this paper. An initial classification is available as a Google Spreadsheet . A survey is being distributed asking tool developers to provide information aiding this classification effort and a link will appear here soon.

Publically Available

Aerial
ARTiMon
BeepBeep
detectER
DejaVu
E-ACSL
gluon
jUnitRV
Larva and LarvaStat
MarQ
MonPoly
Mufin
OptySim
JavaMOP
OCLR-Check
R2U2
TimeSquare
TismTool

Not Publically Available but Actively Maintained

LogFire
RV-Monitor
TimeRover
TraceContract
Valour

No Longer Maintained or Information Unavailable

AgMon
Breach
J-Lo
Java-MaC
JavaPathExplorer
MoTH
prm4j
RiTHM
RTC
RuleR
STePr
TJT
TOPL
tracematches
ZOT+SOLOIST