SMT-based model checking for recursive programs

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Formal methods in system design 2016-06, Vol.48 (3), p.175-205
Hauptverfasser:	Komuravelli, Anvesh, Gurfinkel, Arie, Chaki, Sagar
Format:	Artikel
Sprache:	eng
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!