Verifying a File System Implementation

This publication has 27 references indexed in Scilit:

• Deductive Runtime Certification
  Electronic Notes in Theoretical Computer Science, 2005
• Generalized typestate checking using set interfaces and pluggable analyses
  ACM SIGPLAN Notices, 2004
• Parametric shape analysis via 3-valued logic
  ACM Transactions on Programming Languages and Systems, 2002
• Alloy
  ACM Transactions on Software Engineering and Methodology, 2002
• Combining Superposition, Sorts and Splitting
  Published by Elsevier ,2001
• A Brief History of Natural Deduction
  History and Philosophy of Logic, 1999
• Model checking large software specifications
  IEEE Transactions on Software Engineering, 1998
• A case study in model checking software systems
  Science of Computer Programming, 1997
• The anatomy of vampire
  Journal of Automated Reasoning, 1995
• A fast file system for UNIX
  ACM Transactions on Computer Systems, 1984