Formal Reasoning Using an Iterative Approach with an Integrated Web IDE. - Nabil M. Kabbani; Daniel Welch 001; Caleb H. Priester; Stephen Schaub; Blair Durkee; Yu-Shan Sun; Murali Sitaraman (F-IDE, 2015)