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
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
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