SAT-Based Synthesis Methods for Safety Specs

Roderick Paul Bloem, Robert Könighofer, Martina Seidl

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem Konferenzband

Originalspracheenglisch
TitelVerification, Model Checking, and Abstract Interpretation, 15th International Conference
Redakteure/-innenKenneth L. McMillan, Xavier Rival
ErscheinungsortBerlin-Heidelberg
Herausgeber (Verlag)Springer
Seiten1-20
Band8318
ISBN (Print)978-3-642-54012-7
DOIs
PublikationsstatusVeröffentlicht - 2014
VeranstaltungInternational Conference on Verification, Model Checking, and Abstract Interpretation - San Diego, USA / Vereinigte Staaten
Dauer: 19 Jan 201421 Jan 2014

Publikationsreihe

NameLecture Notes in Computer Science
Herausgeber (Verlag)Springer

Konferenz

KonferenzInternational Conference on Verification, Model Checking, and Abstract Interpretation
LandUSA / Vereinigte Staaten
OrtSan Diego
Zeitraum19/01/1421/01/14

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Application

Dieses zitieren