![Logic in computer science / Metalogic / Electronic design automation / NP-complete problems / Satisfiability Modulo Theories / Model theory / Formal verification / Extended static checking / Model checking / Theoretical computer science / Formal methods / Applied mathematics Logic in computer science / Metalogic / Electronic design automation / NP-complete problems / Satisfiability Modulo Theories / Model theory / Formal verification / Extended static checking / Model checking / Theoretical computer science / Formal methods / Applied mathematics](https://www.pdfsearch.io/img/76f9ca0798f7b399d9b88de43b103bfa.jpg) Date: 2009-07-21 19:10:53Logic in computer science Metalogic Electronic design automation NP-complete problems Satisfiability Modulo Theories Model theory Formal verification Extended static checking Model checking Theoretical computer science Formal methods Applied mathematics | | Z310 : Applications, Enablers, Challenges and Directions Nikolaj Bjørner and Leonardo de Moura Microsoft Research, One Microsoft Way, Redmond, WA, 98074, USA {nbjorner,leonardo}@microsoft.comAdd to Reading ListSource URL: research.microsoft.comDownload Document from Source Website File Size: 163,71 KBShare Document on Facebook
|