Hacker News new | ask | show | jobs
by spwa4 148 days ago
Goes back quite a bit further: https://www.amazon.science/tag/formal-verification