Challenges and Experiences in Managing Large-Scale Proofs
- 1 January 2012
- book chapter
- Published by Springer Nature
- p. 32-48
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Sledgehammer: Judgement Day2010
- seL42009
- Balancing the LoadJournal of Automated Reasoning, 2009
- The Verisoft Approach to Systems Verification2008
- Secure Microkernels, State Monads and Scalable Refinement2008
- Formal certification of a compiler back-end orACM SIGPLAN Notices, 2006
- A Verification Environment for Sequential Imperative Programs in Isabelle/HOLLecture Notes in Computer Science, 2005
- Interactive Theorem Proving and Program Development2004
- Edinburgh LCF1979
- Every planar map is four colorableBulletin of the American Mathematical Society, 1976