Seol mar théacs é seo: FM 2012: formal methods