Inductive Predicate Synthesis Modulo Programs (Extended)

A growing trend in program analysis is to encode verification conditions within the language of the input program. This simplifies the design of analysis tools by utilizing off-the-shelf verifiers, but makes communication with the underlying solver more challenging. Essentially, the analyzer operate...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Wesley, Scott, Christakis, Maria, Navas, Jorge A, Trefler, Richard, Wüstholz, Valentin, Gurfinkel, Arie
Format:	Artikel
Sprache:	eng
Schlagworte:	Computer Science - Software Engineering
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!