Can New Software Testing Frameworks Bring Us to Provably Correct Software?

Sixty-five years after the birth of ENIAC, software controls airplanes, pacemakers and missile systems--and it's buggy. Nonetheless, provably correct software has come a long way, and a variety of emerging software testing frameworks and methodologies are poised to further advance the cause.