Sign in
Ctrl K
HIFIS Software Spotlights
Browse all Spotlights

All software

1Filter
Keywords
18
Program languages
23
Licenses
2
1-2 of 2
Cover image for JPlag

JPlag

JPlag is one of the most popular source code plagiarism detection systems worldwide.

  • Automated Obfuscation Attack
  • Collusion Detection
  • Data analysis
  • + 9
  • Java
  • ANTLR
  • Rust
  • + 15
7
531
Cover image for KeYmaera X

KeYmaera X

An aXiomatic Tactical Theorem Prover for Hybrid Systems

  • Axiom
  • Differential Dynamic Logic
  • Hybrid Systems
  • + 3
  • Scala
  • JavaScript
  • Mathematica
  • + 7
16
353