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

[jalcazar]

Program verification is an expensive activity. Navigating the cost-benefit trade-off of program verification is ultimately a business decision. https://t.co/IUCLtDLROC