Specification Decomposition for Reactive Synthesis

Reactive synthesis is the task of automatically deriving a correct implementation from a specification. It is a promising technique for the development of verified programs and hardware. Despite recent advances in terms of algorithms and tools, however, reactive synthesis is still not practical when...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Finkbeiner, Bernd, Geier, Gideon, Passing, Noemi
Format:	Artikel
Sprache:	eng
Schlagworte:	Computer Science - Logic in Computer Science
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!