150 citations · 623 across the 65 of their papers we have counts for
4 papers · 1 filter
A Decision Tree Lifted Domain for Analyzing Program Families with Numerical Features (Extended Version)
Aleksandar S. Dimovski, Sven Apel, Axel Legay
Lifted (family-based) static analysis by abstract interpretation is capable of analyzing all variants of a program family simultaneously, in a single run without generating any of…
Behavioral Specification Theories: an Algebraic Taxonomy
Uli Fahrenberg, Axel Legay
We develop a taxonomy of different behavioral specification theories and expose their algebraic properties. We start by clarifying what precisely constitutes a behavioral specifica…
Automatic Verification of LLVM Code
Axel Legay, Dirk Nowotka, Danny Bøgsted Poulsen
In this work we present our work in developing a software verification tool for llvm-code - Lodin - that incorporates both explicit-state model checking, statistical model checking…
Featured Games
Uli Fahrenberg, Axel Legay
Feature-based SPL analysis and family-based model checking have seen rapid development. Many model checking problems can be reduced to two-player games on finite graphs. A prominen…