Analyzed about 23 hours ago
Ultimate is a program analysis framework. Ultimate consists of several plugins that perform steps of a program analysis, e.g., parsing source code, transforming programs from one representation to another, or analyzing programs. Toolchains of these plugins can perform complex tasks, e.g., verify
... [More]
that a C program fulfills a given specification. [Less]
5.8M
lines of code
26
current contributors
3 days
since last commit
0
users on Open Hub