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