Taxonomic Search: seungcheol OR yang, File, Katie Dey
Symbolic simulation is a powerful technique for building mathematical models describing a program’s results by simulating execution while interpreting inputs as symbolic variables. Such models can then be used to prove properties about the corresponding source program, including equivalence against a reference implementation.
- 214.16 KB
- 0 views
- 138 downloads