-> download

cover
Dr. James J. Hunt:
Extensible, Language-Aware Differencing and Merging.
aicas Downloads

aicas Software Evaluation Downloads

JamaicaVM is a hard realtime Java VM with fully deterministic garbage collection. JamaicaVM has been optimized for critical systems such as controls, as well as visualizations.Eclipse Plug-in
VeriFlux is an automatic static code analysis tool for use in complete applications, as well as custom program parts. Nothing needs to be changed in the application to carry out the analysis. Error sources such as run-time errors or thread-related errors are highlighted in the source code.



Additional Downloads



Useful Links & Information