Sign in
Ctrl K
HIFIS Software Spotlights
Browse all Spotlights

All software

1Filter
Keywords
8
Program languages
22
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
1009
Cover image for Tamarin Prover

Tamarin Prover

The Tamarin Prover is a state-of-the-art tool for the analysis of security protocols, which underpin the security of modern distributed computing.

  • Cryptographic Protocols
  • Formal Verification
  • Information
  • Haskell
  • Python
  • JavaScript
  • + 9
0
0