Proving Software Correct has been the hobgoblin of software development since the days of punched cards. This article explains the latest ideas - and attempts - to at least get closer.
Add your comment
Voters For This Link (10)
-
mheusser -
bakercom1 -
rsmiller -
roblimo -
sv117926 -
RohitS5 -
christianrubiales -
mswatcher -
kennethmark -
roger.keays