Vladimir Klebanov (KIT) |
Alexander Weigl (KIT) |
Jörg Weisbarth |
We present an improved method for a sound probabilistic estimation of the model count of a boolean formula under projection. The problem solved can be used to encode a variety of quantitative program analyses, such as concerning security of resource consumption. We implement the technique and discuss its application to quantifying information flow in programs. |
ArXived at: https://dx.doi.org/10.4204/EPTCS.227.2 | bibtex | |
Comments and questions to: eptcs@eptcs.org |
For website issues: webmaster@eptcs.org |