/ZonotopeAbstractDomain

Formal static analysis of C programs.

Primary LanguageC++

Stargazers