Martin Walch

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
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 (L-POF), which is a Boolean formula representing the high-level configuration constraints of the kernel. Using SAT solving on this L-POF, we can then(More)
  • 1