Model Checking - Grundlagen und Praxiserfahrungen

Buschermöhle, Ralf, Brörkens, Mark, Brückner, Ingo, Damm, Werner, Hasselbring, Wilhelm, Josko, Bernhard, Schulte, Christoph and Wolf, Thomas (2004) Model Checking - Grundlagen und Praxiserfahrungen Informatik-Spektrum, 27 (2). pp. 146-158. DOI 10.1007/s00287-004-0381-1.

[img]
Preview
Text
ModelChecking2004.pdf - Accepted Version

Download (853Kb) | Preview

Supplementary data:

Abstract

Die Gewährleistung der korrekten Funktionsweise von Hard- und Software ist ein entscheidender Faktor bei der heutigen Systementwicklung. Dies trifft ganz besonders auf das Gebiet der sog. "sicherheitskritischen" Systeme zu, bei dem ein Systemversagen Menschenleben gefährden kann.

Document Type: Article
Keywords: Model Checking
Research affiliation: Kiel University > Software Engineering
Refereed: Yes
DOI etc.: 10.1007/s00287-004-0381-1
Date Deposited: 18 Feb 2012 06:05
Last Modified: 05 Dec 2013 21:59
URI: http://eprints.uni-kiel.de/id/eprint/14580

Actions (login required)

View Item View Item

Document Downloads

More statistics for this item...