SAT-Based Synthesis Methods for Safety Specs

Roderick Bloem; Martina Seidl; Robert Könighofer

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

SAT-Based Synthesis Methods for Safety Specs

Roderick Bloem, Martina Seidl, Robert Könighofer

Institute of Formal Models and Verification

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

Original language	English
Title of host publication	Proceedings of the 15th International Conference on Verification, Model Checking, and Abstract Interpretation
Editors	McMillan, Kenneth and Rival, Xavier
Publisher	Springer
Number of pages	20
ISBN (Print)	978-3-642-54012-7
DOIs	https://doi.org/10.1007/978-3-642-54013-4_1
Publication status	Published - 2014

Publication series

Name	Lecture Notes in Computer Science (LNCS)

Fields of science

102 Computer Sciences
603109 Logic
202006 Computer hardware

JKU Focus areas

Computation in Informatics and Mathematics

Access to Document

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

Cite this

@inproceedings{abb4c345aeba4e88b5ac7baa3600a313,

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

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

year = "2014",

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

language = "English",

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

series = "Lecture Notes in Computer Science (LNCS)",

publisher = "Springer",

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

booktitle = "Proceedings of the 15th International Conference on Verification, Model Checking, and Abstract Interpretation",

}

SAT-Based Synthesis Methods for Safety Specs. / Bloem, Roderick; Seidl, Martina; Könighofer, Robert.
Proceedings of the 15th International Conference on Verification, Model Checking, and Abstract Interpretation. ed. / McMillan, Kenneth and Rival, Xavier. Springer, 2014. (Lecture Notes in Computer Science (LNCS)).

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

TY - GEN

T1 - SAT-Based Synthesis Methods for Safety Specs

AU - Bloem, Roderick

AU - Seidl, Martina

AU - Könighofer, Robert

PY - 2014

Y1 - 2014

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

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

M3 - Conference proceedings

SN - 978-3-642-54012-7

T3 - Lecture Notes in Computer Science (LNCS)

BT - Proceedings of the 15th International Conference on Verification, Model Checking, and Abstract Interpretation

A2 - McMillan, Kenneth and Rival, Xavier, null

PB - Springer

ER -