The program analysis framework ultimate. Ultimate is a program analysis framework. Ultimate consists of several plugins that perform steps of an program analysis, e.g., parsing source code, transforming programs from one representation to another, or analyze programs. Toolchains of these plugins can perform complex tasks, e.g., verify that a C program fulfills a given specification.
References in zbMATH (referenced in 2 articles )
Showing results 1 to 2 of 2.
- Greitschus, Marius; Dietsch, Daniel; Podelski, Andreas: Loop invariants from counterexamples (2017)
- Dietsch, Daniel; Heizmann, Matthias; Langenfeld, Vincent; Podelski, Andreas: Fairness modulo theory: a new approach to LTL software model checking (2015)