Subformula Caching for Model Counting and Quantitative Program Analysis

William Eiers
William Eiers
Seemanta Saha
Seemanta Saha

ASE, pp. 453-464, 2019.

Cited by: 2|Bibtex|Views4|Links
EI

Abstract:

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

Code:

Data:

Your rating :
0

 

Tags
Comments