New top story on Hacker News: Where are we going from here? Software engineering needs formal methods

Where are we going from here? Software engineering needs formal methods
3 by ntietz