Hacker News new | ask | show | jobs
by RockmanX 2580 days ago
I believe people who develop critical softwares do software verifications which should involve Symbolic Execution.