It seems like Toyota has some interest in provable correct software: https://www.infoq.com/news/2015/05/provably-correct-software .
It seems like Toyota has some interest in provable correct software: https://www.infoq.com/news/2015/05/provably-correct-software .