He had killed her - but it had been a symbolic execution, a denial of his second love, and now the symbolism was gone.

For he recognized the preliminary stay of his own symbolic execution.

Model checking and symbolic execution are used to verify the safety-critical properties of device drivers.

In symbolic execution programs are executed and monitored symbolically, that is, without concrete inputs.

One symbolic execution of the system may cover a large set of concrete inputs.

Each year, we have 10 or 12 or 20 symbolic executions.

See a bibliography of more technical papers published on symbolic execution.

During that, program modalities are eliminated by symbolic execution.

Secondly, symbolic execution runs through the program forward just as an actual execution would.

An example of symbolic execution with updates: is transformed to in the first step and to in the second step.