Nugraheni, Cecilia Esti
(Fakultat fur Mathematik, Informatik und Statistik der Ludwig-Maxmilians-Universitat Munchen, 2004)
This thesis proposes a diagram-based formalism for verifying temporal properties of reactive systems. Diagrams integrate deductive and algorithmic verification techniques for the verification of finite and infinite-state ...