Tags : Browse Projects

Select a tag to browse associated projects and drill deeper into the tag cloud.

ultimate

Compare

  Analyzed about 3 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

2 days since last commit

0 users on Open Hub

High Activity
0.0
 
I Use This