Publications

(2016). Meta-Predicates for Rodin. Presented at Rodin Workshop.

Preprint PDF

(2015). Inferring Physical Units in Formal Models. Software and Systems Modeling, Springer.

PDF Project

(2014). Turning Failure into Proof: The ProB Disprover. Poster presented at SAT / SMT Summer School.

Project Poster