Symbolic simulation: Difference between revisions

Content deleted Content added
No edit summary
SmackBot (talk | contribs)
m Date the maintenance tags or general fixes
Line 1:
{{Orphan|date=November 2006}}
{{Unreferenced|date=June 2008}}
{{unreferenced}}
{{Uncategorized|date=June 2008}}
{{uncategorised}}
In computer science, a [[simulation]] is a computation of the execution of some appropriately modelled 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.