VCC: A Practical System for Verifying Concurrent C

This publication has 19 references indexed in Scilit:

• Vx86: x86 Assembler Simulated in C Powered by Automated Theorem Proving
  Published by Springer Nature ,2008
• Z3: An Efficient SMT Solver
  Published by Springer Nature ,2008
• Resources, concurrency, and local reasoning
  Theoretical Computer Science, 2007
• Boogie: A Modular Reusable Verifier for Object-Oriented Programs
  Published by Springer Nature ,2006
• The Spec# Programming System: An Overview
  Published by Springer Nature ,2005
• Extended static checking for Java
  ACM SIGPLAN Notices, 2002
• Thread-Modular Verification for Shared-Memory Programs
  Published by Springer Nature ,2002
• Tentative steps toward a development method for interfering programs
  ACM Transactions on Programming Languages and Systems, 1983
• Verifying properties of parallel programs
  Communications of the ACM, 1976
• Proving assertions about parallel programs
  Journal of Computer and System Sciences, 1975