Start line:  
End line:  

Snippet Preview

Snippet HTML Code

Stack Overflow Questions
This example is made by Steve Riddle as an example for an 
exam question used at the VDM course in Newcastle. It deals
with an electronic purse in a simple form. This is one of the
grand challenges that is considered by the formal methods 
community for formal verification.

#******************************************************
#  AUTOMATED TEST SETTINGS
#------------------------------------------------------
#AUTHOR= Steve Riddle
#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