Title: Symbolic Execution and Quantitative Reasoning