1. 8

This is a triple submission on a method designed to teach students how to find invariants: typically considered hard part of learning formal methods. Whitepaper here has more details especially on educational results. The 2010 paper, Invariant-based Programming in Education: An Analysis of Student Difficulties, analyzed results of the method to corroborate some early predictions about students having little difficulty on invariant part.