Formal Methods for Abstract Specifications – A Comparison of Concepts

Martin Instenberg, Axel Schneider, Sabine Schnetter, Ulrich Heinkel, Kim Guldstrand Larsen, Gerd Behrmann

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til rapportForskning


In industry formal methods are becoming increasingly important for the verification of hardware and software designs. However current practice for specification of system and protocol functionality on high level of abstraction is textual description. For
verification of the system behavior manual inspections and tests are usual means. To facilitate the introduction of formal methods in the development process of complex systems and protocols, two different tools evolved from research activities –
UPPAAL and SpecEdit – have been investigated and compared regarding their concepts and functionality. For this purpose both tools were applied to comparable frameworks.
TitelTechnical Report
Antal sider6
ForlagIEEE Press
StatusUdgivet - 2006


Dyk ned i forskningsemnerne om 'Formal Methods for Abstract Specifications – A Comparison of Concepts'. Sammen danner de et unikt fingeraftryk.