Symbolic simulation is a form of simulation where many possible executions of a system are considered simultaneously. This is typically achieved by augmenting the domain over which the simulation takes place. A symbolic variable can be used in the simulation state representation in order to index multiple executions of the system. For each possible valuation of these variables, there is a concrete system state that is being indirectly simulated.
Because symbolic simulation can cover many system executions in a single simulation, it can greatly reduce the size of verification problems. Techniques such as symbolic trajectory evaluation (STE) and generalized symbolic trajectory evaluation (GSTE) are based on this idea of symbolic simulation.
Read more about Symbolic Simulation: See Also
Famous quotes containing the words symbolic and/or simulation:
“An ancient bridge, and a more ancient tower,
A farmhouse that is sheltered by its wall,
An acre of stony ground,
Where the symbolic rose can break in flower,
Old ragged elms, old thorns innumerable....”
—William Butler Yeats (1865–1939)
“Life, as the most ancient of all metaphors insists, is a journey; and the travel book, in its deceptive simulation of the journey’s fits and starts, rehearses life’s own fragmentation. More even than the novel, it embraces the contingency of things.”
—Jonathan Raban (b. 1942)