Content deleted Content added
Adding short description: "Form of simulation where many possible executions of a system are considered simultaneously" (Shortdesc helper) |
m linking |
||
Line 2:
{{Unreferenced|date=June 2008}}
In computer science, a [[simulation]] is a computation of the execution of some appropriately modelled [[state transition system|state-transition system]]. Typically this process models the complete state of the system at individual points in a discrete linear time frame, computing each state sequentially from its predecessor. Models for computer programs or VLSI logic designs can be very easily simulated, as they often have an [[operational semantics]] which can be used directly for simulation.
'''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 (programming)|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.
| |||