Denotse (DENOTational Symbolic Execution, pronounced "denotes") implements symbolic execution for the WHILE
language in the style of Denotational Semantics for Symbolic Execution.
cabal build
cabal run
cabal repl
Denotse (DENOTational Symbolic Execution, pronounced "denotes") implements symbolic execution for the WHILE
language in the style of Denotational Semantics for Symbolic Execution.
cabal build
cabal run
cabal repl