Hacker News new | ask | show | jobs
by sitkack 2879 days ago
> Formal methods and verification.

Still emerging.