Back to Results
First PageMeta Content
Mathematics / Symbol / 120-cell / Craig interpolation / Computability theory / Fiber bundles / Differential topology


SMT-Based Model Checking for Recursive Programs ⋆ Anvesh Komuravelli, Arie Gurfinkel, and Sagar Chaki Carnegie Mellon University, Pittsburgh, PA, USA Abstract. We present an SMT-based symbolic model checking algorithm
Add to Reading List

Document Date: 2018-08-03 20:31:21


Open Document

File Size: 465,80 KB

Share Result on Facebook
UPDATE