Content deleted Content added
Coadon Pile (talk | contribs) subject-verb plurality. "a means" to "a mean". Tag: Reverted |
Undid revision 1272341544 by Coadon Pile (talk) There was no error here. "Means" as used here is a singular noun meaning "method", just as in the phrase "a means of communication". |
||
Line 1:
{{Short description|Technique for Program Analysis}}
In [[computer science]], '''symbolic execution '''(also '''symbolic evaluation''' or '''symbex''') is a
The field of [[symbolic simulation]] applies the same concept to hardware. [[Symbolic computation]] applies the concept to the analysis of mathematical expressions.
|