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...

Celý popis

Uložené v:

Podrobná bibliografia
Vydané v:	Journal of symbolic computation Ročník 80; s. 125 - 163
Hlavní autori:	Lucanu, Dorel, Rusu, Vlad, Arusoaie, Andrei
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Elsevier Ltd 01.05.2017 Elsevier
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!