Algebra and logic for access control Matthew CollinsonDavid Pym Original Article 17 March 2009 Pages: 83 - 104
Verification and falsification of programs with loops using predicate abstraction Daniel KroeningGeorg Weissenbacher Original Article 07 April 2009 Pages: 105 - 128
A formalization of geometric constraint systems and their decomposition Pascal MathisSimon E. B. Thierry Original Article 08 July 2009 Pages: 129 - 151
A process algebraic framework for specification and validation of real-time systems Adnan SherifAna CavalcantiAugusto Sampaio Original Article 15 July 2009 Pages: 153 - 191
Generating certified code from formal proofs: a case study in homological algebra Jesús AransayClemens BallarinJulio Rubio Original Article 15 July 2009 Pages: 193 - 213