pilatversion
A Frama-C polynomial invariant generator
This tool generates invariants of linear and polynomial loops, with deterministic and non deterministic assignments, as annotations in the initial source code.
| Author | Steven De Oliveira <de.oliveira.steven@gmail.com> |
|---|---|
| License | LGPL-2.1-only |
| Published | |
| Homepage | https://github.com/Stevendeo/Pilat/ |
| Issue Tracker | https://github.com/Stevendeo/Pilat/issues |
| Maintainer | Steven De Oliveira <de.oliveira.steven@gmail.com> |
| Dependencies | |
| Conflicts |
|
| Source [http] | https://github.com/Stevendeo/Pilat/archive/stable_1.1.zip md5=aa4f9778e377a1931b46920e68ab7b1c |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/pilat/pilat.1.1/opam |
No package is dependent
