Describes the process by which Learner Verification and Revision (LVR) transforms information gathered during learner verification into revision prescriptions for the development of instructional materials. Robinson's and Gropper's procedural models for formative evaluation are also discussed and a study comparing the effectiveness of materials revised according to Gropper and LVR is reported. (EAO)