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

Institut für Angewandte Informationsverarbeitung und Kommunikationstechnologie (7050)

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

Originalsprache	englisch
Titel	Proceedings 3rd Workshop on Synthesis
Herausgeber (Verlag)	Electronic Proceedings in Theoretical Computer Science
Seiten	34-50
Band	157
DOIs	https://doi.org/10.4204/EPTCS.157.7
Publikationsstatus	Veröffentlicht - 2014
Veranstaltung	Workshop on Synthesis (SYNT 2014) - Vienna, Österreich Dauer: 23 Juli 2014 → 24 Juli 2014

Publikationsreihe

Name	EPTCS
Herausgeber (Verlag)	Electronic Proceedings in Theoretical Computer Science

Konferenz

Konferenz	Workshop on Synthesis (SYNT 2014)
Land/Gebiet	Österreich
Ort	Vienna
Zeitraum	23/07/14 → 24/07/14

Fields of Expertise

Information, Communication & Computing

Treatment code (Nähere Zuordnung)

Application
Theoretical

Zugriff auf Dokument

10.4204/EPTCS.157.7

main.pdfEndgültige, publizierte Fassung, 190 KB

Andere Dateien und Links

EU - STANCE - A Source code analysis Toolbox for software security AssuraNCE
Tögl, R., Könighofer, R. & Bloem, R.
1/10/12 → 30/09/15
Projekt: Foschungsprojekt
FWF - QUAINT - Quant. Entscheidungsprozeduren Interpolation f. Korrektur
Hofferek, G., Könighofer, R. & Bloem, R.
1/01/12 → 30/09/15
Projekt: Foschungsprojekt
RiSE - Rigorous Systems Engineering
Könighofer, R., Khalimov, A., Bloem, R., Könighofer, B. & Jacobs, S.
1/03/11 → 31/08/19
Projekt: Foschungsprojekt

Dieses zitieren

@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

Publikationsreihe

Konferenz

Fields of Expertise

Treatment code (Nähere Zuordnung)

Zugriff auf Dokument

Andere Dateien und Links

Projekte

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

FWF - QUAINT - Quant. Entscheidungsprozeduren Interpolation f. Korrektur

RiSE - Rigorous Systems Engineering

Dieses zitieren