an integrated tool environment for modeling, validation and verification of real-time systems modeled as networks of timed automata, extended with data types (bounded integers, arrays, etc.).
an advanced mouse gesture recognition engine and command processor. What is a mouse gesture? Mouse gestures are simple symbols that you "draw" on your screen using your mouse.
The only way to share complete DVD movies with multiple audio tracks, subtitles, video angles and bonus materials online - free, fast, powerful and reliable.
a CD-ROm Webserver. That means it is a webserver that can run directly from cdrom without installation. Server2Go allows you to create a working web site or PHP application on a CD-ROM.
component-based, modular and open-architecture simulation environment with strong GUI support and an embeddable simulation kernel. Its primary application area is the simulation of communication networks and because of its generic and flexible architectur
automatically hardens software applications against a wide range of bugs. These bugs — known as memory errors — often end up as serious security vulnerabilities, cause crashes, or lead to unpredictable behavior.
a Java decompiler, i.e. program that reads one or more Java class files and converts them into Java source files which can be compiled again. Jad is a 100% pure C++ program and it generally works several times faster than decompilers written in Java.
a graphic viewer that can view, edit, and convert image files and play video/audio formats. It does not have extensive image creation and painting capabilities