Research Seminar - March 01, 2002

Abstract:

As systems become more complex and the cost of failure grows testing a system becomes inadequate. Consequently industrial use of verification tools is growing. Here we will present a semi- automatic approach to the verification of distributed and concurrent systems. We will construct a symbolic model of communicating systems and by a novel combination of deduction and model checking will show how to prove the system valid.