Verimag

Pagai

a static analyzer

Pagai computes loop invariants on programs given as LLVM bitcode.

Pagai computes loop invariants using a mixture of abstract interpretation and decision procedures.

Voir en ligne : forge

Contact | Plan du site | Site réalisé avec SPIP 3.0.26 + AHUNTSIC [CC License]

info visites 875993