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

First Page		Document Content
Date: 2018-08-03 20:31:21 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 Source URL: seahorn.github.io Download Document from Source Website File Size: 465,80 KB Share Document on Facebook