SAT-Based Synthesis Methods for Safety Specs

Roderick Paul Bloem; Robert Könighofer; Martina Seidl

doi:10.1007/978-3-642-54013-4_1

SAT-Based Synthesis Methods for Safety Specs

Roderick Paul Bloem, Robert Könighofer, Martina Seidl

Institut für Angewandte Informationsverarbeitung und Kommunikationstechnologie (7050)

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

Originalsprache	englisch
Titel	Verification, Model Checking, and Abstract Interpretation, 15th International Conference
Redakteure/-innen	Kenneth L. McMillan, Xavier Rival
Erscheinungsort	Berlin-Heidelberg
Herausgeber (Verlag)	Springer
Seiten	1-20
Band	8318
ISBN (Print)	978-3-642-54012-7
DOIs	https://doi.org/10.1007/978-3-642-54013-4_1
Publikationsstatus	Veröffentlicht - 2014
Veranstaltung	International Conference on Verification, Model Checking, and Abstract Interpretation - San Diego, USA / Vereinigte Staaten Dauer: 19 Jan. 2014 → 21 Jan. 2014

Publikationsreihe

Name	Lecture Notes in Computer Science
Herausgeber (Verlag)	Springer

Konferenz

Konferenz	International Conference on Verification, Model Checking, and Abstract Interpretation
Land/Gebiet	USA / Vereinigte Staaten
Ort	San Diego
Zeitraum	19/01/14 → 21/01/14

Fields of Expertise

Information, Communication & Computing

Treatment code (Nähere Zuordnung)

Application

Zugriff auf Dokument

10.1007/978-3-642-54013-4_1

extended_paper.pdfEndgültige, publizierte Fassung, 668 KB

Andere Dateien und Links

http://vmcai2014.di.ens.fr/

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: Forschungsprojekt
FWF - QUAINT - Quant. Entscheidungsprozeduren Interpolation f. Korrektur
Hofferek, G., Könighofer, R. & Bloem, R.
1/01/12 → 30/09/15
Projekt: Forschungsprojekt
RiSE - Rigorous Systems Engineering
Könighofer, R., Khalimov, A., Bloem, R., Könighofer, B. & Jacobs, S.
1/03/11 → 31/08/19
Projekt: Forschungsprojekt

Dieses zitieren

SAT-Based Synthesis Methods for Safety Specs. / Bloem, Roderick Paul; Könighofer, Robert; Seidl, Martina.
Verification, Model Checking, and Abstract Interpretation, 15th International Conference. Hrsg. / Kenneth L. McMillan; Xavier Rival. Band 8318 Berlin-Heidelberg: Springer, 2014. S. 1-20 (Lecture Notes in Computer Science).

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

Bloem, RP, Könighofer, R & Seidl, M 2014, SAT-Based Synthesis Methods for Safety Specs. in KL McMillan & X Rival (Hrsg.), Verification, Model Checking, and Abstract Interpretation, 15th International Conference. Bd. 8318, Lecture Notes in Computer Science, Springer, Berlin-Heidelberg, S. 1-20, International Conference on Verification, Model Checking, and Abstract Interpretation, San Diego, USA / Vereinigte Staaten, 19/01/14. https://doi.org/10.1007/978-3-642-54013-4_1

@inproceedings{3b9c8542d4b54dc4916df2a1800e3671,

title = "SAT-Based Synthesis Methods for Safety Specs",

author = "Bloem, {Roderick Paul} and Robert K{\"o}nighofer and Martina Seidl",

year = "2014",

doi = "10.1007/978-3-642-54013-4_1",

language = "English",

isbn = "978-3-642-54012-7",

volume = "8318",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "1--20",

editor = "McMillan, {Kenneth L.} and Xavier Rival",

booktitle = "Verification, Model Checking, and Abstract Interpretation, 15th International Conference",

note = "International Conference on Verification, Model Checking, and Abstract Interpretation ; Conference date: 19-01-2014 Through 21-01-2014",

}

TY - GEN

T1 - SAT-Based Synthesis Methods for Safety Specs

AU - Bloem, Roderick Paul

AU - Könighofer, Robert

AU - Seidl, Martina

PY - 2014

Y1 - 2014

UR - http://vmcai2014.di.ens.fr/

U2 - 10.1007/978-3-642-54013-4_1

DO - 10.1007/978-3-642-54013-4_1

M3 - Conference paper

SN - 978-3-642-54012-7

VL - 8318

T3 - Lecture Notes in Computer Science

SP - 1

EP - 20

BT - Verification, Model Checking, and Abstract Interpretation, 15th International Conference

A2 - McMillan, Kenneth L.

A2 - Rival, Xavier

PB - Springer

CY - Berlin-Heidelberg

T2 - International Conference on Verification, Model Checking, and Abstract Interpretation

Y2 - 19 January 2014 through 21 January 2014

ER -

SAT-Based Synthesis Methods for Safety Specs

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