Software & Tools
The Institute for Software & Systems Engineering develops and distributes some software and & tools:
- KIV System A tool for formal systems development and interactive verification
- Robotics API A framework for developing real-time critical industrial robot applications in Java
- MiniBrass A set of library functions to integrate constraint relationships for over-constrained optimization problems into MiniZinc.