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

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.