Formal Methods for Abstract Specifications – A Comparison of Concepts
Martin Instenberg, Axel Schneider, Sabine Schnetter, Ulrich Heinkel, Kim G. Larsen, Gerd Behrmann · VBN Forskningsportal (Aalborg Universitet) · 2006
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.