Verifikationsgerechte Spezifikation komplexer Systeme

SpecVer investigates novel design methodologies for complex systems from the telecommunication domain. In Contrast to existing approaches, SpecVer raises the level of abstraction by allowing for late changes in the design as well as a tight combination of specification and verification. That way, the productivity as well as the reliability of each design step will be sustainable increased ("first-time-right"). The results are exspected to be transferable to othe domains, as automotive, etc