Universität Karlsruhe
Object Oriented Concepts in Model Checking Tools

Diplomarbeit (abgeschlossen)

A Model Checking tool is a tool designed for verification of finite-state machines specified in a model language. Primarily model-checking has been used for hardware verification. This thesis explores the capabilities of three leading-edge model checkers with respect to their support of Object Oriented concepts. For this purpose the available Model Checkers' modeling languages are mapped and compared to imperative and Object Oriented concepts.

Betreuer

Alumni
Dr. Elke PulvermĂĽller

Bearbeiter

Ex-Studenten
Mads Henrik Stavang
Login
Links