Sign in
Ctrl K
HIFIS Software Spotlights
Browse all Spotlights

All software

1Filter
Keywords
21
Program languages
31
Licenses
2
1-3 of 3
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
989
Cover image for JPlag

JPlag

JPlag is one of the most popular software plagiarism detectors worldwide.

  • Automated Obfuscation Attack
  • Collusion Detection
  • Data analysis
  • + 9
  • Java
  • ANTLR
  • Rust
  • + 15
7
529
Cover image for NESTML

NESTML

NESTML is a domain-specific language for neuron and synapse models. It combines an easy to understand, yet powerful syntax with good simulation performance by means of code generation.

  • Modelling
  • Simulation
  • spiking neural networks
  • Python
  • Jinja
  • ANTLR
  • + 4
0
0