Technical University of Darmstadt
Darmstadt, Germany
0Filters
Pinned
Keywords
0
Program languages
0
Licenses
0
12
1-2 of 2
KeY
KeY is a deductive verification system for Java programs
- Deductive Verification
- First-Order Logic
- Formal Verification
- + 3
- Java
- HTML
- ANTLR
- + 15
36
1059
Score-P
Score-P provides insight into massively parallel HPC applications, their communication, synchronization, I/O, and scaling behaviour to pinpoint performance bottlenecks and their causes.
- hpc
- Information
- instrumentation
- + 5
- C
- Fortran Free Form
- M4Sugar
- + 2
40
530