
-
A Decision Tree Lifted Domain for Analyzing Program Families with Numerical Features (Extended Version)
Lifted (family-based) static analysis by abstract interpretation is capa...
read it
-
Behavioral Specification Theories: an Algebraic Taxonomy
We develop a taxonomy of different behavioral specification theories and...
read it
-
Automatic Verification of LLVM Code
In this work we present our work in developing a software verification t...
read it
-
Featured Games
Feature-based SPL analysis and family-based model checking have seen rap...
read it
-
Computing Branching Distances Using Quantitative Games
We lay out a general method for computing branching distances between la...
read it
-
Secure Architectures Implementing Trusted Coalitions for Blockchained Distributed Learning (TCLearn)
Distributed learning across a coalition of organizations allows the memb...
read it
-
Sequential Relational Decomposition
The concept of decomposition in computer science and engineering is cons...
read it
-
Variability Abstraction and Refinement for Game-based Lifted Model Checking of full CTL (Extended Version)
Variability models allow effective building of many custom model variant...
read it
-
Hybrid Statistical Estimation of Mutual Information and its Application to Information Flow
Analysis of a probabilistic system often requires to learn the joint pro...
read it
-
Formal Verification of Probabilistic SystemC Models with Statistical Model Checking
Transaction-level modeling with SystemC has been very successful in desc...
read it
-
A framework for quantitative modeling and analysis of highly (re)configurable systems
This paper presents our approach to the quantitative modeling and analys...
read it