Wolfgang Küchlin

Formal analysis of the Linux kernel configuration with SAT solving.

2015

The Linux kernel is a highly configurable software system. The aim of this paper is to develop a formal method for the analysis of the configuration space. We first develop a Linux product overview formula …