FM 2012: Formal Methods | lit.salon