The cost of using and teaching formal methods will continue to come down and program synthesis will become the practical means of automating a lot of lower-leve

The cost of using and teaching formal methods will continue to come down and program synthesis will become the practical means of automating a lot of lower-level code.