Quellcode-Bibliothek

^© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: README.txt Sprache: Text

Original von: VDM^©

Author: Sten Agerholm and Peter Gorm Larsen

This VDM-SL model is a response to the PVS model of the SAFER system
for NASA austronauts used for space walks used to maneuver back to a
space shuttle. It was made by Sten Agerholm and Peter Gorm Larsen and
published as:

S.Agerholm and P.G.Larsen, Modeling and Validating SAFER in VDM-SL,
Proceedings of the Fourth NASA Langley Formal Methods Workshop,
NASA Conference, Publication 3356, September 1997.

Language Version: classic
Entry point : TEST`HugeTest()

¤ Dauer der Verarbeitung: 0.13 Sekunden (vorverarbeitet) ¤

Download des Quellennavigators
Download des sprechenden Kalenders
in der Quellcodebibliothek suchen

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung ist noch experimentell.