![](https://www.pdfsearch.io/img/3b7482a359588ea6f97b7fa9cb783f99.jpg) Date: 2013-06-08 14:51:39
| | Automatic Abstraction in SMT-Based Unbounded Software Model Checking ⋆ Anvesh Komuravelli, Arie Gurfinkel, Sagar Chaki, and Edmund M. Clarke Carnegie Mellon University, Pittsburgh, PA, USA Abstract. Software model cheAdd to Reading ListSource URL: www.cs.cmu.eduDownload Document from Source Website File Size: 445,13 KBShare Document on Facebook
|