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