Sign in
Ctrl K
HIFIS Software Spotlights
Browse all Spotlights

All software

1Filter
Keywords
25
Program languages
18
Licenses
3
1-4 of 4
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
1000
Cover image for IGMAS+

IGMAS+

Software combining 3-D forward and inverse modeling, interactive visualization and interdisciplinary interpretation of potential fields and their applications under geophysical and geological data constrains.

  • 3D
  • Cross-platform
  • Earth & Environment
  • + 8
    5
    421
    Cover image for AMIRIS

    AMIRIS

    AMIRIS is the open Agent-based Market model for the Investigation of Renewable and Integrated energy Systems. It aims at enabling scientists to dissect the complex questions arising with respect to future energy markets, their market design, and energy-related policy instruments.

    • Agent-based Model
    • electricity
    • Energy
    • + 4
    • Java
    • Python
    • BibTeX
    8
    110
    Cover image for FAME

    FAME

    FAME is the open Framework for distributed Agent-based Modelling of Energy systems. Its purpose is supporting the rapid development and fast execution of complex agent-based energy system simulations.

    • Agent-based Model
    • framework
    • Java
    • + 2
      8
      4