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.

View online : forge

Contact | Site Map | Site powered by SPIP 3.0.24 + AHUNTSIC [CC License]

info visites 729817