VCC: A Verifier for Concurrent C

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

Vx86: x86 Assembler Simulated in C Powered by Automated Theorem Proving

Wolfram Schulte

AMAST | January 2008

ISBN: 978-3-540-79979-5

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

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

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

Vx86: x86 Assembler Simulated in C Powered by Automated Theorem Proving

Wolfram Schulte

AMAST | January 2008

ISBN: 978-3-540-79979-5

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

[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