Source: wikibot/symbolic-simulation
= Symbolic simulation
{wiki=Symbolic_simulation}
Symbolic simulation is a technique used in the field of computer science and formal verification, particularly for analyzing and verifying the behavior of hardware and software systems. Unlike traditional simulation methods that use concrete values to represent input and state variables, symbolic simulation uses mathematical symbols (typically variables or expressions) to represent sets of possible values.