Issue 4/2008
Content (6 Articles)
A Mechanical Analysis of Program Verification Strategies
Sandip Ray, Warren A. Hunt Jr., John Matthews, J. Strother Moore
Tilting at Windmills with Coq: Formal Verification of a Compilation Algorithm for Parallel Moves
Laurence Rideau, Bernard Paul Serpette, Xavier Leroy