Lapets, Andrei; House, DAvid
(Boston University Computer Science Department, 2009-11-06)
In work that involves mathematical rigor, there are numerous benefits to adopting a representation of models and arguments that can be supplied to a formal reasoning or verification system: reusability, automatic evaluation ...