Idea: Empirical tests on formal verification/model checking

September 16, 2008

Our colleagues on the other side of Software Engineering are busy making models of software and trying to hunt bugs by checking the models and running verifiers. They claim they find more bugs.

Our side of Software Engineering is more skeptical.

  • Is there a net productivity increase?
  • What kind of bugs do you find? Catastrophic ones?
  • Do the bugs you find overlap with the kinds of bugs found by other methods? How?
%d bloggers like this: