![Formal methods / Logic in computer science / NP-complete problems / Constraint programming / Satisfiability Modulo Theories / Vehicle Identification Number / FO / Theoretical computer science / Applied mathematics / Electronic design automation Formal methods / Logic in computer science / NP-complete problems / Constraint programming / Satisfiability Modulo Theories / Vehicle Identification Number / FO / Theoretical computer science / Applied mathematics / Electronic design automation](https://www.pdfsearch.io/img/b9b053395cbf8c5f6bbaa952a60d371c.jpg) Date: 2014-05-21 11:37:06Formal methods Logic in computer science NP-complete problems Constraint programming Satisfiability Modulo Theories Vehicle Identification Number FO Theoretical computer science Applied mathematics Electronic design automation | | Resourceful Reachability as HORN-LA Josh Berdine, Nikolaj Bjørner, Samin Ishtiaq, Jael E. Kriener, and Christoph M. Wintersteiger Microsoft Research; University of Kent Abstract. The program verification tool SLAyer usAdd to Reading ListSource URL: www.winterstiger.atDownload Document from Source Website File Size: 446,14 KBShare Document on Facebook
|