Project FEST – Funktionale Verifikation von Systemen

Basic data

Acronym:
FEST
Title:
Funktionale Verifikation von Systemen
Duration:
14/06/2004 to 22/11/2007
Keywords:
Verifikation
model checking
Systembeschreibungssprachen

Involved staff

Managers

Kropf, Thomas
formerly Universität Tübingen

Local organizational units

Wilhelm Schickard Institute of Computer Science (WSI)
Department of Informatics
Faculty of Science

Funders

Bonn, Nordrhein-Westfalen, Germany
Help

will be deleted permanently. This cannot be undone.