A Mechanical Analysis of Program Verification Strategies Sandip RayWarren A. Hunt Jr.J. Strother Moore OriginalPaper 14 March 2008 Pages: 245 - 269
A Mechanized Proof of the Basic Perturbation Lemma Jesús AransayClemens BallarinJulio Rubio OriginalPaper 16 January 2008 Pages: 271 - 292
Rewriting with Equivalence Relations in ACL2 Bishop BrockMatt KaufmannJ Strother Moore OriginalPaper 15 January 2008 Pages: 293 - 306
Tilting at Windmills with Coq: Formal Verification of a Compilation Algorithm for Parallel Moves Laurence RideauBernard Paul SerpetteXavier Leroy OriginalPaper 12 January 2008 Pages: 307 - 326
A Resolution-Based Decision Procedure for \(\boldsymbol{\mathcal{SHOIQ}}\) Yevgeny KazakovBoris Motik Erratum 18 March 2008 Pages: 357 - 357