Model Counting opens new doors for Program Analysis
Listen now