Formalized Symbolic Execution

Abstract

In this paper we present a semantics-directed description of symbolic-execution of programs. In the field of program analysis, most of the methods have been applied on optimizing compilers. It is our belief that there is enough theory that could support the application of program analysis methods on software construction. Most program analysis methods are… (More)

Topics

1 Figure or Table

Slides referencing similar topics