The big picture
Our Verifier approach provides an integrated, systematic way of finding errors.
Sue Gerrard had the insight that we could go a step further. Her concept of the knowledge cycle closes the loop begun by Verifier.
The knowledge cycle begins with choosing the most appropriate method to elicit knowledge out of a person, using a development of Maiden & Rugg's ACRE framework.
The next stage is choosing the most appropriate representation for the knowledge that has been elicited.
The third stage is testing the knowledge, as in the Verifier framework.
The last step, which closes the loop, is to use a framework which is the converse of the ACRE framework to select the most appropriate method for teaching verified knowledge to other people.