pilat

A Frama-C polynomial invariant generator
Description

This tool generates invariants of linear and polynomial loops, with deterministic and non deterministic assignments, as annotations in the initial source code.

Install
Published
09 Nov 2017
Sources
stable_1.1.zip
md5=aa4f9778e377a1931b46920e68ab7b1c
Dependencies
Reverse Dependencies