Pagai computes loop invariants using a mixture of abstract interpretation and decision procedures.
Pagai
- Software distribution and licensing: Public binary distribution
- Software Maintenance and Evolution: Basic maintenance to keep the software alive, no future plans
a static analyzer
Pagai computes loop invariants on programs given as LLVM bitcode.
Voir en ligne : forge gitlab
Contact |
Plan du site |
Site réalisé avec SPIP 4.4.28 +
AHUNTSIC
[CC License]
info visites 29569256
|
|
|