pilat
A polynomial invariant generator based on Frama-C
Description
Install
copied = false, 2000)"
:class="{ 'border-gray-700': !copied, 'text-gray-100': !copied, 'focus:ring-orange-500': !copied, 'focus:border-orange-500': !copied, 'border-green-600': copied, 'text-green-600': copied, 'focus:ring-green-500': copied, 'focus:border-green-500': copied }">
- Published
- 17 Mar 2020
- Authors
- Maintainers
Sources
1.3.tar.gz
md5=70c732e7a2c3c5682a1acf2e4215c259
sha512=ef4f4cc5502c2d4f1f43c8d652d34fe17234fc55d9d6f98f441c5560b68fd3f333bb951b15e975e6a6126a457eabeab78681061a489ecfbf196ee73fb6c10a33
Dependencies
Reverse Dependencies