![Applied mathematics / Electronic design automation / Formal methods / Logic in computer science / NP-complete problems / Valuation / Boolean satisfiability problem / Local consistency / Abstract interpretation / Theoretical computer science / Constraint programming / Mathematics Applied mathematics / Electronic design automation / Formal methods / Logic in computer science / NP-complete problems / Valuation / Boolean satisfiability problem / Local consistency / Abstract interpretation / Theoretical computer science / Constraint programming / Mathematics](https://www.pdfsearch.io/img/4552f4621ad6941fae8338b84c918cbb.jpg)
| Document Date: 2012-07-25 13:39:19 Open Document File Size: 412,65 KBShare Result on Facebook
Company Toyota Motor Corporation / Itv / Microsoft / / / Facility University of Oxford name.surname@cs.ox.ac.uk Abstract / / IndustryTerm envelope containing potential solutions / potential solutions / concrete solution / control software / avionic control software / Control software verification / / Organization University of Oxford name.surname@cs.ox.ac.uk Abstract / Michael Tautschnig Computer Science Department / / Person Michael Tautschnig / Daniel Kroening / Leopold Haller / / / Position abstract interpreter / / ProgrammingLanguage E / D / /
SocialTag |