Invariant based programming: basic approach and teaching experiences Ralph-Johan Back Original Article 14 February 2008 Pages: 227 - 244
Practice-oriented courses in formal methods using VDM++ Peter Gorm LarsenJohn S. FitzgeraldSteve Riddle Original Article 02 February 2008 Pages: 245 - 257
Tool support for learning Büchi automata and linear temporal logic Yih-Kuen TsayYu-Fang ChenJinn-Shu Chang Original Article 31 October 2008 Pages: 259 - 275
The RISC ProofNavigator: a proving assistant for program verification in the classroom Wolfgang Schreiner Original Article 03 April 2008 Pages: 277 - 291
A comparison of tools for teaching formal software verification Ingo FeinererGernot Salzer Original Article 11 June 2008 Pages: 293 - 301