Start line:  
End line:  

Snippet Preview

Snippet HTML Code

Stack Overflow Questions
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.

#******************************************************
#  AUTOMATED TEST SETTINGS
#------------------------------------------------------
#AUTHOR= Sten Agerholm and Peter Gorm Larsen
#LANGUAGE_VERSION=classic
#INV_CHECKS=true
#POST_CHECKS=true
#PRE_CHECKS=true
#DYNAMIC_TYPE_CHECKS=true
#SUPPRESS_WARNINGS=false
#ENTRY_POINT=TEST`HugeTest()
#EXPECTED_RESULT=NO_ERROR_INTERPRETER
#******************************************************
New to GrepCode? Check out our FAQ X