Local Verification of Global Invariants in Concurrent Programs

This publication has 14 references indexed in Scilit:

• VCC: A Practical System for Verifying Concurrent C
  Published by Springer Nature ,2009
• Flexible Immutability with Frozen Objects
  Published by Springer Nature ,2008
• Z3: An Efficient SMT Solver
  Published by Springer Nature ,2008
• A Marriage of Rely/Guarantee and Separation Logic
  Published by Springer Nature ,2007
• A Simple Sequential Reasoning Approach for Sound Modular Verification of Mainstream Multithreaded Programs
  Electronic Notes in Theoretical Computer Science, 2007
• Resources, concurrency, and local reasoning
  Theoretical Computer Science, 2007
• On the Relationship Between Concurrent Separation Logic and Assume-Guarantee Reasoning
  Published by Springer Nature ,2007
• Permission accounting in separation logic
  ACM SIGPLAN Notices, 2005
• Verification of Object-Oriented Programs with Invariants.
  The Journal of Object Technology, 2004
• Friends Need a Bit More: Maintaining Invariants Over Shared State
  Published by Springer Nature ,2004