A verification system for a procedure interface is generated by using formal
specifications
of the procedure interface and generating test suites. The test suites are generated
from the formal specifications and templates or skeletons which are used to generate
an element of a verification system. The skeletons are generated based on decomposition
of test suits.
