Plugin for Static Analysis and Verification of C Programs with Dynamic Lists

Copyright 2010-2012 LIAFA, University Paris Diderot and CNRS.

CELIA is a free software under LGPL license.

CELIA has been tested mainly on Linux distributions. Installation requirements:

Current version of CELIA: 0.3

Older distributed versions of CINV:

See also:    APRON    CINV    Frama-C    FIXPOINT    ANR Project Veridyc