HIFIS Software Spotlights

All software

1Filter

Order by

Keywords

Program languages

Licenses

Items

1-2 of 2

GTlab

A C++ framework for collaborative engineering

Aeronautics, Space and Transport
C++
optimization
+ 2

C++
CMake
Python
+ 5

JMLtk

A Toolkit for the Java Modeling Language containing JML/Java parser, AST, mid- (like code transformations) to high-level tools (like verification condition and stub generation, JML statistics).

Java
Kotlin
Gherkin
+ 5