Verimag

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.

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

Voir en ligne : forge gitlab

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

info visites 1017452