• search hit 1 of 5
Back to Result List

A Catalogue of Criteria for Evaluating Formal Methods and Its Application

  • A large set of criteria to evaluate formal methods for reactive systems is presented. To make this set more comprehensible, it is structured according to a Concept-Model of formal methods. It is made clear that it is necessary to make the catalogue more specific before applying it. Some of the steps needed to do so are explained. As an example the catalogue is applied within the context of the application domain building automation systems to three different formal methods: SDL, statecharts, and a temporallogic.

Download full text files

Export metadata

Additional Services

Share in Twitter Search Google Scholar
Author:Thomas Deiss, Martin Kronenburg, Dirk Zeckzer
URN (permanent link):urn:nbn:de:hbz:386-kluedo-4149
Serie (Series number):Sonderforschungsbereich 501 (1997,4)
Document Type:Preprint
Language of publication:English
Year of Completion:1999
Year of Publication:1999
Publishing Institute:Technische Universität Kaiserslautern
Date of the Publication (Server):2000/04/03
Faculties / Organisational entities:Fachbereich Informatik
DDC-Cassification:0 Allgemeines, Informatik, Informationswissenschaft / 004 Informatik
Licence (German):Standard gemäß KLUEDO-Leitlinien vor dem 27.05.2011