How to Handle Assumptions in Synthesis

Roderick Paul Bloem; Rüdiger Ehlers; Swen Jacobs; Robert Könighofer

doi:10.4204/EPTCS.157.7

How to Handle Assumptions in Synthesis

Roderick Paul Bloem, Rüdiger Ehlers, Swen Jacobs, Robert Könighofer

Institute of Applied Information Processing and Communications (7050)

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Original language	English
Title of host publication	Proceedings 3rd Workshop on Synthesis
Publisher	Electronic Proceedings in Theoretical Computer Science
Pages	34-50
Volume	157
DOIs	https://doi.org/10.4204/EPTCS.157.7
Publication status	Published - 2014
Event	Workshop on Synthesis (SYNT 2014) - Vienna, Austria Duration: 23 Jul 2014 → 24 Jul 2014

Publication series

Name	EPTCS
Publisher	Electronic Proceedings in Theoretical Computer Science

Conference

Conference	Workshop on Synthesis (SYNT 2014)
Country/Territory	Austria
City	Vienna
Period	23/07/14 → 24/07/14

Fields of Expertise

Information, Communication & Computing

Treatment code (Nähere Zuordnung)

Application
Theoretical

Access to Document

10.4204/EPTCS.157.7

main.pdfFinal published version, 190 KB

Cite this

@inproceedings{a48edb2781c8473691cdbb3e089762eb,

title = "How to Handle Assumptions in Synthesis",

author = "Bloem, {Roderick Paul} and R{\"u}diger Ehlers and Swen Jacobs and Robert K{\"o}nighofer",

year = "2014",

doi = "10.4204/EPTCS.157.7",

language = "English",

volume = "157",

series = "EPTCS",

publisher = "Electronic Proceedings in Theoretical Computer Science",

pages = "34--50",

booktitle = "Proceedings 3rd Workshop on Synthesis",

note = "Workshop on Synthesis (SYNT 2014) ; Conference date: 23-07-2014 Through 24-07-2014",

}

TY - GEN

T1 - How to Handle Assumptions in Synthesis

AU - Bloem, Roderick Paul

AU - Ehlers, Rüdiger

AU - Jacobs, Swen

AU - Könighofer, Robert

PY - 2014

Y1 - 2014

UR - http://www.easychair.org/smart-program/VSL2014/SYNT-program.html

UR - http://rvg.web.cse.unsw.edu.au/eptcs/paper.cgi?SYNT2014.7

U2 - 10.4204/EPTCS.157.7

DO - 10.4204/EPTCS.157.7

M3 - Conference paper

VL - 157

T3 - EPTCS

SP - 34

EP - 50

BT - Proceedings 3rd Workshop on Synthesis

PB - Electronic Proceedings in Theoretical Computer Science

T2 - Workshop on Synthesis (SYNT 2014)

Y2 - 23 July 2014 through 24 July 2014

ER -

How to Handle Assumptions in Synthesis

Publication series

Conference

Fields of Expertise

Treatment code (Nähere Zuordnung)

Access to Document

Other files and links

EU - STANCE - A Source code analysis Toolbox for software security AssuraNCE

FWF - QUAINT - Quantified Decision Procedures and Interpolation for Error Correction

RiSE - Rigorous Systems Engineering

Cite this

How to Handle Assumptions in Synthesis

Publication series

Conference

Fields of Expertise

Treatment code (Nähere Zuordnung)

Access to Document

Other files and links

Projects

EU - STANCE - A Source code analysis Toolbox for software security AssuraNCE

FWF - QUAINT - Quantified Decision Procedures and Interpolation for Error Correction

RiSE - Rigorous Systems Engineering

Cite this