Conferences in DBLP
Constance L. Heitmeyer On the Utility of Formal Methods in the Development and Certification of Software. [Citation Graph (0, 0)][DBLP ] TPHOLs, 2007, pp:1-2 [Conf ] Peter Liggesmeyer Formal Techniques in Software Engineering: Correct Software and Safe Systems. [Citation Graph (0, 0)][DBLP ] TPHOLs, 2007, pp:3-4 [Conf ] Andrew W. Appel , Sandrine Blazy Separation Logic for Small-Step cminor. [Citation Graph (0, 0)][DBLP ] TPHOLs, 2007, pp:5-21 [Conf ] David Aspinall , Jaroslav Sevcík Formalising Java's Data Race Free Guarantee. [Citation Graph (0, 0)][DBLP ] TPHOLs, 2007, pp:22-37 [Conf ] Lukas Bulwahn , Alexander Krauss , Tobias Nipkow Finding Lexicographic Orders for Termination Proofs in Isabelle/HOL. [Citation Graph (0, 0)][DBLP ] TPHOLs, 2007, pp:38-53 [Conf ] Jeremy E. Dawson Formalising Generalised Substitutions. [Citation Graph (0, 0)][DBLP ] TPHOLs, 2007, pp:54-69 [Conf ] David Delahaye , Catherine Dubois , Jean-Frédéric Étienne Extracting Purely Functional Contents from Logical Inductive Types. [Citation Graph (0, 0)][DBLP ] TPHOLs, 2007, pp:70-85 [Conf ] Georges Gonthier , Assia Mahboubi , Laurence Rideau , Enrico Tassi , Laurent Théry A Modular Formalisation of Finite Group Theory. [Citation Graph (0, 0)][DBLP ] TPHOLs, 2007, pp:86-101 [Conf ] John Harrison Verifying Nonlinear Real Formulas Via Sums of Squares. [Citation Graph (0, 0)][DBLP ] TPHOLs, 2007, pp:102-118 [Conf ] Osman Hasan , Sofiène Tahar Verification of Expectation Properties for Discrete Random Variables in HOL. [Citation Graph (0, 0)][DBLP ] TPHOLs, 2007, pp:119-134 [Conf ] José-Antonio Alonso , Joaquín Borrego-Díaz , María-José Hidalgo , Francisco-Jesús Martín-Mateos , José-Luis Ruiz-Reina A Formally Verified Prover for the ALC Description Logic. [Citation Graph (0, 0)][DBLP ] TPHOLs, 2007, pp:135-150 [Conf ] Joe Hurd Proof Pearl: The Termination Analysis of Terminator. [Citation Graph (0, 0)][DBLP ] TPHOLs, 2007, pp:151-156 [Conf ] Eunsuk Kang , Mark Aagaard Improving the Usability of HOL Through Controlled Automation Tactics. [Citation Graph (0, 0)][DBLP ] TPHOLs, 2007, pp:157-172 [Conf ] Yasuhiko Minamide Verified Decision Procedures on Context-Free Grammars. [Citation Graph (0, 0)][DBLP ] TPHOLs, 2007, pp:173-188 [Conf ] Zhaozhong Ni , Dachuan Yu , Zhong Shao Using XCAP to Certify Realistic Systems Code: Machine Context Management. [Citation Graph (0, 0)][DBLP ] TPHOLs, 2007, pp:189-206 [Conf ] Michael Norrish , René Vestergaard Proof Pearl: De Bruijn Terms Really Do Work. [Citation Graph (0, 0)][DBLP ] TPHOLs, 2007, pp:207-222 [Conf ] Steven Obua Proof Pearl: Looping Around the Orbit. [Citation Graph (0, 0)][DBLP ] TPHOLs, 2007, pp:223-231 [Conf ] Lawrence C. Paulson , Kong Woei Susanto Source-Level Proof Reconstruction for Interactive Theorem Proving. [Citation Graph (0, 0)][DBLP ] TPHOLs, 2007, pp:232-245 [Conf ] Brigitte Pientka Proof Pearl: The Power of Higher-Order Encodings in the Logical Framework LF. [Citation Graph (0, 0)][DBLP ] TPHOLs, 2007, pp:246-261 [Conf ] James Reynolds Automatically Translating Type and Function Definitions from HOL to ACL2. [Citation Graph (0, 0)][DBLP ] TPHOLs, 2007, pp:262-277 [Conf ] Tom Ridge Operational Reasoning for Concurrent Caml Programs and Weak Memory Models. [Citation Graph (0, 0)][DBLP ] TPHOLs, 2007, pp:278-293 [Conf ] Matt Kaufmann , Konrad Slind Proof Pearl: Wellfounded Induction on the Ordinals Up to epsilon _{0} . [Citation Graph (0, 0)][DBLP ] TPHOLs, 2007, pp:294-301 [Conf ] Christoph Sprenger , David A. Basin A Monad-Based Modeling and Verification Toolbox with Application to Security Protocols. [Citation Graph (0, 0)][DBLP ] TPHOLs, 2007, pp:302-318 [Conf ] Laurent Théry , Guillaume Hanrot Primality Proving with Elliptic Curves. [Citation Graph (0, 0)][DBLP ] TPHOLs, 2007, pp:319-333 [Conf ] Norbert Völker HOL2P - A System of Classical Higher Order Logic with Second Order Polymorphism. [Citation Graph (0, 0)][DBLP ] TPHOLs, 2007, pp:334-351 [Conf ] Makarius Wenzel , Burkhart Wolff Building Formal Method Tools in the Isabelle/Isar Framework. [Citation Graph (0, 0)][DBLP ] TPHOLs, 2007, pp:352-367 [Conf ] François Garillot , Benjamin Werner Simple Types in Type Theory: Deep and Shallow Encodings. [Citation Graph (0, 0)][DBLP ] TPHOLs, 2007, pp:368-382 [Conf ] Freek Wiedijk Mizar's Soft Type System. [Citation Graph (0, 0)][DBLP ] TPHOLs, 2007, pp:383-399 [Conf ]