SAT-Based Synthesis Methods for Safety Specs

Roderick Paul Bloem, Robert Könighofer, Martina Seidl

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Original languageEnglish
Title of host publicationVerification, Model Checking, and Abstract Interpretation, 15th International Conference
EditorsKenneth L. McMillan, Xavier Rival
Place of PublicationBerlin-Heidelberg
PublisherSpringer
Pages1-20
Volume8318
ISBN (Print)978-3-642-54012-7
DOIs
Publication statusPublished - 2014
EventInternational Conference on Verification, Model Checking, and Abstract Interpretation - San Diego, United States
Duration: 19 Jan 201421 Jan 2014

Publication series

NameLecture Notes in Computer Science
PublisherSpringer

Conference

ConferenceInternational Conference on Verification, Model Checking, and Abstract Interpretation
CountryUnited States
CitySan Diego
Period19/01/1421/01/14

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Application

Cite this

Bloem, R. P., Könighofer, R., & Seidl, M. (2014). SAT-Based Synthesis Methods for Safety Specs. In K. L. McMillan, & X. Rival (Eds.), Verification, Model Checking, and Abstract Interpretation, 15th International Conference (Vol. 8318, pp. 1-20). (Lecture Notes in Computer Science). Berlin-Heidelberg: Springer. https://doi.org/10.1007/978-3-642-54013-4_1

SAT-Based Synthesis Methods for Safety Specs. / Bloem, Roderick Paul; Könighofer, Robert; Seidl, Martina.

Verification, Model Checking, and Abstract Interpretation, 15th International Conference. ed. / Kenneth L. McMillan; Xavier Rival. Vol. 8318 Berlin-Heidelberg : Springer, 2014. p. 1-20 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Bloem, RP, Könighofer, R & Seidl, M 2014, SAT-Based Synthesis Methods for Safety Specs. in KL McMillan & X Rival (eds), Verification, Model Checking, and Abstract Interpretation, 15th International Conference. vol. 8318, Lecture Notes in Computer Science, Springer, Berlin-Heidelberg, pp. 1-20, International Conference on Verification, Model Checking, and Abstract Interpretation, San Diego, United States, 19/01/14. https://doi.org/10.1007/978-3-642-54013-4_1
Bloem RP, Könighofer R, Seidl M. SAT-Based Synthesis Methods for Safety Specs. In McMillan KL, Rival X, editors, Verification, Model Checking, and Abstract Interpretation, 15th International Conference. Vol. 8318. Berlin-Heidelberg: Springer. 2014. p. 1-20. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-642-54013-4_1
Bloem, Roderick Paul ; Könighofer, Robert ; Seidl, Martina. / SAT-Based Synthesis Methods for Safety Specs. Verification, Model Checking, and Abstract Interpretation, 15th International Conference. editor / Kenneth L. McMillan ; Xavier Rival. Vol. 8318 Berlin-Heidelberg : Springer, 2014. pp. 1-20 (Lecture Notes in Computer Science).
@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",

}

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 contribution

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

ER -