The Philosophy

Certainly, to achieve the correctnes of a program, the best
thing would be to write it so in the first place. Although that
is an unattainable goal in general, there are development
methods that do increase the level of confidence in the delivered
program, making it "almost" correct.

Thus, although the original claim of those methods "Testing is
no longer necessary" can not be achieved, one would excpect that
the amount of testing would be significantly reduced. That is
true in general, with one caveat:

• The success of these methods makes testing even more difficult
  than ever, since one has to aim at detecting "hidden," and usually
  rather subtle bugs. This is in contrast to poorly designed
  software where errors just pop up at almost every run.

Therefore, our methodology consists of two major parts:

• Formal Methods, for systematic software development
• Software Testing and Analysis(STA), of programs
  developed by any methodology, be it formal or informal.

It is also our belief that software development activities should be
supported by Software Engineering Tools; this is the very idea of the lab.

For more information click on one of the below: