Back to Results
First PageMeta Content
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


Numeric Bounds Analysis with Conflict-Driven Learning? Vijay D’Silva?? , Leopold Haller, Daniel Kroening, and Michael Tautschnig Computer Science Department, University of Oxford
Add to Reading List

Document Date: 2012-07-25 13:39:19

Open Document

File Size: 412,65 KB

Share 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