Formal analysis of the Linux kernel configuration with SAT solving.
Martin WalchRouven WalterWolfgang KüchlinPublished in: Configuration Workshop (2015)
Keyphrases
- formal analysis
- sat solving
- linux kernel
- operating system
- sat solvers
- source code
- software systems
- analysis tool
- formal methods
- boolean satisfiability
- sat problem
- open source
- software evolution
- file system
- agent model
- search tree
- case study
- knowledge base
- search strategies
- symmetry breaking
- computer systems
- evolutionary algorithm