frama-c-typestatesversion Documentation on ocaml.org
Frama-C typestates plug-in
This Frama-C plug-in is used to specify and prove typestates properties
| Author | Sebastien Patte |
|---|---|
| License | LGPL-2.1-only |
| Published | |
| Homepage | https://frama-c.com/ |
| Issue Tracker | https://git.frama-c.com/pub/typestates/issues |
| Maintainer | https://git.frama-c.com/frama-c |
| Dependencies | |
| Source [http] | https://git.frama-c.com/pub/typestates/-/archive/0.0/typestates-0.0.tar.bz2 md5=1ebcdf4db8077196a85267712998d7e1 sha512=09722b3f78445aa044f7baa64e5901c0eddeee81bc7baf6f5be672b1f97fafdefeff0de3a23c84bb4bca8749bdfcf935f39414ac410ee9efa155859ad8de6c1a |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/frama-c-typestates/frama-c-typestates.0.0/opam |
No package is dependent
