Quelle README.txt Sprache: Text

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) ¤

Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

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.