Hacker News new | ask | show | jobs
by adrianN 2855 days ago
That is completely different from formal verification. Simple testing is something all researchers that I know do, quite extensively actually.