"execution" in inglés with examples - Collocation dictionary inglés
- 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.
Click on the heading to expand the collocation groups, collocations and sample sentences.