Date: 2006-06-09 05:24:28Mathematical logic Mathematics Theoretical computer science Formal methods Electronic design automation Logic in computer science NP-complete problems Boolean algebra Satisfiability modulo theories Boolean satisfiability problem 120-cell Predicate | | SMT Techniques for Fast Predicate Abstraction Shuvendu K. Lahiri? , Robert Nieuwenhuis?? , and Albert Oliveras?? Abstract. Predicate abstraction is a technique for automatically extracting finite-state abstractions for sAdd to Reading ListSource URL: www.lsi.upc.eduDownload Document from Source Website File Size: 218,22 KBShare Document on Facebook
|