A Feature-Based Classification of Formal Verification Techniques for Software Models

Sebastian Gabmeyer

Dipl.-Ing. Dr.techn.

• Mail: sebastian.gabmeyer@tuwien.ac.at

Petra Kaufmann

Mag.a rer.soc.oec. Dr.in rer.soc.oec.

• Mail: kaufmann@big.tuwien.ac.at
• Location: HB0210

Martina Seidl

Dipl.-Ing. Dr.techn.

Gerti Kappel

O.Univ.Prof.in Dipl.-Ing.in Mag.a Dr.in techn.

• Mail: gerti@big.tuwien.ac.at
• Phone: +43 1 58801 18870
• Location: HC0215
• Office hours: only by appointment via e-mail