Archive of Formal Proofs, Volume 2008

Volume 2008, 2008

• Tobias Nipkow:
  Quantifier Elimination for Linear Arithmetic. , (Formal proof development)
  
• Klaus Aehlig, Tobias Nipkow:
  Normalization by Evaluation. , (Formal proof development)
  
• Norbert Schirmer:
  A Sequential Imperative Programming Language Syntax, Semantics, Hoare Logics and Verification Environment. , (Formal proof development)
  
• Veronika Ortner, Norbert Schirmer:
  BDD Normalisation. , (Formal proof development)
  
• Michael Nedzelsky:
  Recursion Theory I. , (Formal proof development)
  
• Filip Maric:
  Formal Verification of Modern SAT Solvers. , (Formal proof development)
  
• Tobias Nipkow:
  Fun With Functions. , (Formal proof development)
  
• Tobias Nipkow:
  Arrow and Gibbard-Satterthwaite. , (Formal proof development)
  
• Gregor Snelting, Daniel Wasserrab:
  A Correctness Proof for the Volpano/Smith Security Typing System. , (Formal proof development)
  
• Daniel Wasserrab:
  Towards Certified Slicing. , (Formal proof development)
  
• Jasmin Christian Blanchette:
  The Textbook Proof of Huffman's Algorithm. , (Formal proof development)
  
• Tobias Nipkow, Lawrence C. Paulson:
  Fun With Tilings. , (Formal proof development)
  
• Peter Gammie:
  Some classical results in Social Choice Theory. , (Formal proof development)
  
• Lennart Beringer, Martin Hofmann:
  Secure information flow and program logics. , (Formal proof development)
  
• Lennart Beringer, Martin Hofmann:
  A Bytecode Logic for JML and Types. , (Formal proof development)
  

Last update Fri May 24 19:59:03 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page