VCC: A Verifier for Concurrent C

Established: December 10, 2008

Publications

View by:

- Local Verification of Global Invariants in Concurrent Programs
  
  Ernie Cohen, Michal Moskal, Wolfram Schulte, Stephan Tobies
  
  Computer Aided Verification, 22st International Conference, CAV 20010 | January 2010
  
  Computer Aided Verification, 22st International Conference, CAV 20010
  
  Publication
- A Precise Yet Efficient Memory Model For C
  
  Ernie Cohen, Michal Moskal, Stephan Tobies, Wolfram Schulte
  
  May 2009
  
  SSV 2009. To appear.
  
  Publication
- [old] A Practical Verification Methodology for Concurrent Programs
  
  Michal Moskal, Wolfram Schulte
  
  MSR-TR-2009-16159 | February 2009
  
  Publication
- A Practical Verification Methodology for Concurrent Programs
  
  Michal Moskal, Wolfram Schulte, Ernie Cohen, Stephan Tobies
  
  MSR-TR-2009-2019 | February 2009
  
  Publication
- A Programming Model for Concurrent Object-Oriented Programs
  
  Bart Jacobs, Frank Piessens, Jan Smans, Rustan Leino, Wolfram Schulte
  
  ACM Trans. Program. Lang. Syst. | January 2008, Vol 31
  
  Publication Project
- VCC: Contract-based Modular Verification of Concurrent C
  
  Wolfram Schulte
  
  31st International Conference on Software Engineering, ICSE 2009 | January 2008
  
  31st International Conference on Software Engineering, ICSE 2009
  
  Publication
- Vx86: x86 Assembler Simulated in C Powered by Automated Theorem Proving
  
  Wolfram Schulte
  
  AMAST | January 2008
  
  ISBN: 978-3-540-79979-5
  
  Publication

- Local Verification of Global Invariants in Concurrent Programs
  
  Ernie Cohen, Michal Moskal, Wolfram Schulte, Stephan Tobies
  
  Computer Aided Verification, 22st International Conference, CAV 20010 | January 2010
  
  Computer Aided Verification, 22st International Conference, CAV 20010
  
  Publication
- A Precise Yet Efficient Memory Model For C
  
  Ernie Cohen, Michal Moskal, Stephan Tobies, Wolfram Schulte
  
  May 2009
  
  SSV 2009. To appear.
  
  Publication
- [old] A Practical Verification Methodology for Concurrent Programs
  
  Michal Moskal, Wolfram Schulte
  
  MSR-TR-2009-16159 | February 2009
  
  Publication
- A Practical Verification Methodology for Concurrent Programs
  
  Michal Moskal, Wolfram Schulte, Ernie Cohen, Stephan Tobies
  
  MSR-TR-2009-2019 | February 2009
  
  Publication
- A Programming Model for Concurrent Object-Oriented Programs
  
  Bart Jacobs, Frank Piessens, Jan Smans, Rustan Leino, Wolfram Schulte
  
  ACM Trans. Program. Lang. Syst. | January 2008, Vol 31
  
  Publication Project
- VCC: Contract-based Modular Verification of Concurrent C
  
  Wolfram Schulte
  
  31st International Conference on Software Engineering, ICSE 2009 | January 2008
  
  31st International Conference on Software Engineering, ICSE 2009
  
  Publication
- Vx86: x86 Assembler Simulated in C Powered by Automated Theorem Proving
  
  Wolfram Schulte
  
  AMAST | January 2008
  
  ISBN: 978-3-540-79979-5
  
  Publication

- Local Verification of Global Invariants in Concurrent Programs
  
  Ernie Cohen, Michal Moskal, Wolfram Schulte, Stephan Tobies
  
  Computer Aided Verification, 22st International Conference, CAV 20010 | January 2010
  
  Computer Aided Verification, 22st International Conference, CAV 20010
  
  Publication
- A Precise Yet Efficient Memory Model For C
  
  Ernie Cohen, Michal Moskal, Stephan Tobies, Wolfram Schulte
  
  May 2009
  
  SSV 2009. To appear.
  
  Publication
- VCC: Contract-based Modular Verification of Concurrent C
  
  Wolfram Schulte
  
  31st International Conference on Software Engineering, ICSE 2009 | January 2008
  
  31st International Conference on Software Engineering, ICSE 2009
  
  Publication
- Vx86: x86 Assembler Simulated in C Powered by Automated Theorem Proving
  
  Wolfram Schulte
  
  AMAST | January 2008
  
  ISBN: 978-3-540-79979-5
  
  Publication
- [old] A Practical Verification Methodology for Concurrent Programs
  
  Michal Moskal, Wolfram Schulte
  
  MSR-TR-2009-16159 | February 2009
  
  Publication
- A Practical Verification Methodology for Concurrent Programs
  
  Michal Moskal, Wolfram Schulte, Ernie Cohen, Stephan Tobies
  
  MSR-TR-2009-2019 | February 2009
  
  Publication
- A Programming Model for Concurrent Object-Oriented Programs
  
  Bart Jacobs, Frank Piessens, Jan Smans, Rustan Leino, Wolfram Schulte
  
  ACM Trans. Program. Lang. Syst. | January 2008, Vol 31
  
  Publication Project