Technische Universität Braunschweig
Braunschweig, Germany
0Filters
Pinned
Keywords
0
Program languages
0
Licenses
0
12
1-2 of 2
CorC
With CorC, we implemented an IDE to create programs following the Correctness-by-Construction approach. Starting with an abstract specification, CorC supports CbC developers in refining a program by a sequence of refinement steps and in verifying the correctness of these refinements.
- Eclipse
- WebCorC
- Java
- ANTLR
5
24
SERGHEI
The Simulation EnviRonment for Geomorphology, Hydrodynamics and Ecohydrology in Integrated form (SERGHEI) is a multi-dimensional, multi-domain, and multi-physics model framework for environmental and landscape simulation, intended to simulate water flow and transport across landscape scales.
- Earth & Environment
- GPU
- High performance computing
- + 4
- C++
- CMake
- Shell
- + 2
7
0