4 ms·
Is it? I was under the impression it just uses symbolic execution rather than invariant detection.
by rainforest 13y ago
Is it? I was under the impression it just uses symbolic execution rather than invariant detection.
- grdvnl 13y agoYour are right. I mixed up dynamic symbolic execution with invariant detection. I know there is something called DySy which does do invariant detection using dynamic symbolic execution.