2 employees
Symbolic Simulation is a computation of the execution of some appropriately modelled state-transition system.
