SAGA: A run-time verifier for Java programs
SAGA is a run-time verifier for single-threaded as well as multi-threaded Java programs.
ASTRA Toolbox: Commercial-class software for tomography imaging
The ASTRA Toolbox is a MATLAB and Python platform providing scalable, high-performance GPU primitives for 2D and 3D tomography, including building blocks for advanced reconstruction algorithms.
RECAST3D: a real-time visualization platform for tomographic imaging
RECAST3D provides real-time tomographic reconstruction and visualization of arbitrarily oriented 2D slices in a 3D volume.