This paper regards problems of analysis and 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 impossible fruitful analysis of separate pieces of code comb... https://pipingrockers.shop/product-category/hibiscus/