Open software persistence model
C and C++ control flow graph generator and analyzer
BEnchMarks for Automatic Parallelizer
Generate database access code within seconds with CodeGenConnect
Toolkit for Automatic Control and Dynamic Optimization
SPIN-based Eclipse Model Checking Plugin
C++ Tcl interface library
Functional programming in natural language
Generate an executable state machine from a high level language.
Multi-User Database Interpreted BASIC Environment