Complementing Verification of Highly Configurable Design with Formal Techniques

Author(s):
Manik Tyagi, Deepak Jindal