Publications

(2017). Towards Infinite-State Symbolic Model Checking for B and Event-B. Dissertation submitted to the Heinrich-Heine-University Düsseldorf, Germany.

PDF Project

(2016). Meta-Predicate for Rodin. In Proceedings Rodin User and Developer Workshop 2016.

PDF Project

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

PDF Project

(2013). B constrained. In Proceedings Rodin User and Developer Workshop 2013, TUCS Lecture Notes.

PDF Project