Verification and analysis of variable operating systems
This paper regards problems of analysis and TEA TREE DEODERANT verification of complex modern operating systems, which should take into account variability and configurability of those systems.The main problems of current interest are related with conditional compilation as variability mechanism widely used in system software domain.It makes imposs