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

Full description

Saved in:

Bibliographic Details
Published in:	Journal of symbolic computation Vol. 80; pp. 125 - 163
Main Authors:	Lucanu, Dorel, Rusu, Vlad, Arusoaie, Andrei
Format:	Journal Article
Language:	English
Published:	Elsevier Ltd 01.05.2017 Elsevier
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!