SpecVer: Specification for Verification of complex systems (SpecVer)

Third party funded individual grant


Acronym: SpecVer

Start date : 01.10.2005

End date : 30.09.2008

Website: https://www.cs12.tf.fau.de/forschung/projekte/specver

close-button

Types of publications

Journal article
Book chapter / Article in edited volumes
Authored book
Translation
Thesis
Edited Volume
Conference contribution
Other publication type
Unpublished / Preprint

Publication year

From
To

Abstract

Journal

Testfallgenerierung für SystemC-Designs mit abstrakten Modellbeschreibungen (2009) Gladigau J, Haubelt C, Streubühr M, Teich J, Schneider A, Knäblein J, Lindig M Conference contribution Symbolische Modellprüfung Aktor-orientierter High-level SystemC-Modelle mit Intervalldiagrammen (2008) Gladigau J, Blendinger F, Haubelt C, Teich J Conference contribution Semi-Automatic Generation of mixed Hardware-Software Prototypes from Simulink Models (2008) Streubühr M, Jäntsch M, Haubelt C, Teich J, Schneider A Conference contribution Automatic Test Case Generation with Model Checker NuSMV (2006) Bunin G, Schneider A, Haubelt C, Langer J, Heinkel U Conference contribution Automatic Test Generation with Model Checking Techniques (2006) Schneider A, Bunin G, Haubelt C, Heinkel U Conference contribution Automatische Verification von ADeVA-Spezifikationen (2005) Dinkel T, Haubelt C, Heinkel U, Schlichter T, Teich J Conference contribution Comparison of Techniques for the Automatic Verification of ADeVA Specifications (2005) Dinkel T, Haubelt C, Heinkel U, Schlichter T, Knäblein J, Schock T, Teich J Conference contribution