Formal Methods for Abstract Specifications – A Comparison of Concepts

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

Formal Methods for Abstract Specifications – A Comparison of Concepts

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

Research output: Contribution to book/anthology/report/conference proceeding › Report chapter › Research

Abstract

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.

Original language	English
Title of host publication	Technical Report
Number of pages	6
Publisher	IEEE Press
Publication date	2006
Publication status	Published - 2006

Access to Document

http://www.cs.aau.dk/~kgl/Upaal_vs_specEdit_IEEE_v7.pdf

AUB Link

Search for the material in Aalborg University Library's search engine

Cite this

@inbook{3a6914e0aa1211dbb942000ea68e967b,

title = "Formal Methods for Abstract Specifications – A Comparison of Concepts",

abstract = "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. Forverification 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.",

author = "Martin Instenberg and Axel Schneider and Sabine Schnetter and Ulrich Heinkel and Larsen, {Kim Guldstrand} and Gerd Behrmann",

year = "2006",

language = "English",

booktitle = "Technical Report",

publisher = "IEEE Press",

}

TY - GEN

T1 - Formal Methods for Abstract Specifications – A Comparison of Concepts

AU - Instenberg, Martin

AU - Schneider, Axel

AU - Schnetter, Sabine

AU - Heinkel, Ulrich

AU - Larsen, Kim Guldstrand

AU - Behrmann, Gerd

PY - 2006

Y1 - 2006

N2 - 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. Forverification 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.

AB - 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. Forverification 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.

M3 - Report chapter

BT - Technical Report

PB - IEEE Press

ER -

Formal Methods for Abstract Specifications – A Comparison of Concepts

Abstract

Access to Document

AUB Link

Fingerprint

Cite this