Skip to content

Pilat 1.1
Compare
Choose a tag to compare
@Stevendeo Stevendeo released this 30 Oct 09:03
1.1
3eedae5

A new version of the polynomial invariant generator Pilat, including two new features :

  • The generation of non deterministic loop invariants (linear filters for example)
  • The generation of the linearized version of the C program analyzed.
Assets 2