ISLisp Verification System
ISLisp Verification System veifies that an ISLisp processor is compliant with
the ISLisp standard.
The verification system was developed to define interpretations of ISO standard details
and complement ISLisp standard specifications.
The ISLisp veification system has the following features;
Configuration of ISLisp Verification SystemISLisp veification system consists of Verification system and verification data as shown the figure below. The verification system gives a form from the verification data to an ISLisp processor to be verified and compares a returned value from the ISLisp processor and a value defined in the verification data. The verification data was developed to complement ISLisp specifications and stadardize interpretations of interpretations of the language specifications. The verifications data consists of about 16,000 items. |