Sound Gradual Verification with Symbolic Execution

Gradual verification, which supports explicitly partial specifications and verifies them with a combination of static and dynamic checks, makes verification more incremental and provides earlier feedback to developers. While an abstract, weakest precondition-based approach to gradual verification wa...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	arXiv.org 2023-11
Hauptverfasser:	Zimmerman, Conrad, DiVincenzo, Jenna, Aldrich, Jonathan
Format:	Artikel
Sprache:	eng
Schlagworte:	Computer Science - Programming Languages Optimization Verification
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!