Hacker News new | ask | show | jobs
by kolinko 97 days ago
Or formal methods and other tools for verifying the code security?