Abstract: 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.
We have placed cookies on your device to help make this website and the services we offer better. By using this site, you agree to the use of cookies. Learn more