Back to Results
First PageMeta Content
Computer programming / Constraint satisfaction problem / Satisfiability Modulo Theories / Constraint satisfaction / Constraint logic programming / Constraint programming / Theoretical computer science / Software engineering


Executing Specifications using Synthesis and Constraint Solving Viktor Kuncak?1 , Etienne Kneuss1 , and Philippe Suter1,2 1 2
Add to Reading List

Document Date: 2013-07-10 09:01:49

Open Document

File Size: 355,06 KB

Share Result on Facebook

Company

IBM / /

Country

United States / /

Currency

pence / /

/

IndustryTerm

software reliability / run-time constraint solving algorithm / software development / valid solution / /

Organization

European Research Council / Ecole Polytechnique F´ed´erale de Lausanne / Switzerland IBM T.J. Watson Research Center / /

Person

Viktor Kuncak / /

ProgrammingLanguage

Scala / /

Technology

solving algorithm / run-time constraint solving algorithm / resulting algorithm / /

URL

http /

SocialTag