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

https://ntietz.com/tech-blog/future-of-software-engineering-is-formal-methods/

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