Subformula Caching for Model Counting and Quantitative Program Analysis
ASE, pp. 453-464, 2019.
Quantitative program analysis is an emerging area with applications to software reliability, quantitative information flow, side-channel detection and attack synthesis. Most quantitative program analysis techniques rely on model counting constraint solvers, which are typically the bottleneck for scalability. Although the effectiveness of ...More
Full Text (Upload PDF)
PPT (Upload PPT)