Sign in
Ctrl K
HIFIS Software Spotlights
Browse all Spotlights

All software

1Filter
Keywords
10
Program languages
21
Licenses
2
1-2 of 2
Cover image for KeY

KeY

KeY is a deductive verification system for Java programs

  • Deductive Verification
  • First-Order Logic
  • Formal Verification
  • + 3
  • Java
  • HTML
  • ANTLR
  • + 14
30
1001
Cover image for Mallob

Mallob

Automated Reasoning in HPC and Cloud Environments: Scheduling, Solving, Proving

  • automated reasoning
  • High performance computing
  • job scheduling
  • + 2
  • C++
  • Shell
  • Python
  • + 5
1
12