Start line:  
End line:  

Snippet Preview

Snippet HTML Code

Stack Overflow Questions
This example is created by Augusto Ribeiro illustrating different concepts in VDM 
for teaching purposes including the distributed real time features in VDM-RT. Note
that thus this model is not in a state where it makes sense to execute it.
#******************************************************
#  AUTOMATED TEST SETTINGS
#------------------------------------------------------
#AUTHOR= Augusto Ribeiro
#LIB=IO;MATH
#LANGUAGE_VERSION=classic
#INV_CHECKS=true
#POST_CHECKS=true
#PRE_CHECKS=true
#DYNAMIC_TYPE_CHECKS=true
#SUPPRESS_WARNINGS=false
#ENTRY_POINT=
#EXPECTED_RESULT=NO_ERROR_TYPE_CHECK
#******************************************************
New to GrepCode? Check out our FAQ X