SAT-Based Synthesis Methods for Safety Specs

Roderick Paul Bloem, Robert Könighofer, Martina Seidl

Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-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
Country/TerritoryUnited States
CitySan Diego
Period19/01/1421/01/14

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Application

Cite this