OStatic

Schroedinger is the combination of Apache Tomcat with a nice, clean Swing GUI. It provides an easy way to create and test JSP and Servlet Web applicat...

Spin is an award winning (ACM) software tool that can be used for the formal verification of distributed software systems. The tool was developed at B...

C/C++ Program Perfometer checks the performance of a C/C++ program and separate pieces of code for any metrics (e.g. uclocks, rusage metrics, metrics...

DBNavigator is a tool that makes it possible for software developers and QA specialists to research how Windows Mobile stores database data.