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ženo v:

Podrobná bibliografie
Vydáno v:	Journal of symbolic computation Ročník 80; s. 125 - 163
Hlavní autoři:	Lucanu, Dorel, Rusu, Vlad, Arusoaie, Andrei
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier Ltd 01.05.2017 Elsevier
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!