Back to Results
First PageMeta Content
Logic in computer science / Formal methods / Constraint programming / Electronic design automation / NP-complete problems / Satisfiability Modulo Theories / Algorithm / Presburger arithmetic / Function / Mathematics / Theoretical computer science / Mathematical logic


Comfusy: A Tool for Complete Functional Synthesis Tool Presentation Viktor Kuncak, Mika¨el Mayer, Ruzica Piskac, Philippe Suter? Swiss Federal Institute of Technology (EPFL), Switzerland
Add to Reading List

Document Date: 2010-05-11 07:07:53

Open Document

File Size: 143,73 KB

Share Result on Facebook

/

Facility

Swiss Federal Institute of Technology / /

IndustryTerm

infinite-state non-reactive software systems / synthesis algorithm / software synthesis / quantifier elimination algorithm / finite-state reactive systems / correct computer systems / software development / exponentiation algorithm / /

Organization

Swiss Federal Institute of Technology / FV(pre) / /

Person

Viktor Kuncak / Philippe Suter / Ruzica Piskac / /

Position

author / /

ProgrammingLanguage

Scala / /

PublishedMedium

Communications of the ACM / /

Technology

Omega-test algorithm / synthesis algorithm / exponentiation algorithm / quantifier elimination algorithm / CAV / GCD algorithm / /

URL

http /

SocialTag