A visual inspector for Boogie programs - Coelho, Márcio (2011)