A generic framework for symbolic execution: A coinductive approach

We propose a language-independent symbolic execution framework. The approach is parameterised by a language definition, which consists of a signature for the syntax and execution infrastructure of the language, a model interpreting the signature, and rewrite rules for the language's operational...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Journal of symbolic computation Jg. 80; S. 125 - 163
Hauptverfasser:	Lucanu, Dorel, Rusu, Vlad, Arusoaie, Andrei
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Elsevier Ltd 01.05.2017 Elsevier
Schlagworte:	Circular coinduction Computer Science Formal operational semantics Logic in Computer Science Program verification Programming language Programming Languages Reachability logic Symbolic execution Reachability logic Programming language Symbolic execution Formal operational semantics Circular coinduction Program verification symbolic execution circular coinduction formal operational semantics programming language program verification reachability logic
ISSN:	0747-7171, 1095-855X
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!