There is a newer version of the record available.

Published October 13, 2020 | Version v4
Software Open

heron

Authors/Creators

  • 1. Technical University Munich

Description

This is the publication of the software tool heron. It is used to produce compact, readable and checkable proofs for safety properties of parameterized systems.

Files

heron.zip

Files (3.4 MB)

Name Size
md5:26f96e2dd172aeeed6ca4d83e89131cf
3.4 MB Preview Download

Additional details

Funding

European Commission
PaVeS - Parametrized Verification and Synthesis 787367