REMS / Lem

I worked with Prof. Peter Sewell on the Rigorous Engineering for Mainstream Systems (REMS) project. I mainly worked on the tool Lem.