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

论文与出版物

A Precise Yet Efficient Memory Model For C

Ernie Cohen, Michal Moskal, Stephan Tobies, Wolfram Schulte

May 2009

SSV 2009. To appear.

论文与出版物

[old] A Practical Verification Methodology for Concurrent Programs

Michal Moskal, Wolfram Schulte

MSR-TR-2009-16159 | February 2009

论文与出版物

A Practical Verification Methodology for Concurrent Programs

Michal Moskal, Wolfram Schulte, Ernie Cohen, Stephan Tobies

MSR-TR-2009-2019 | February 2009

论文与出版物

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, 第 31 卷

论文与出版物 项目

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

论文与出版物

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

Wolfram Schulte

AMAST | January 2008

ISBN: 978-3-540-79979-5

论文与出版物

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

论文与出版物

A Precise Yet Efficient Memory Model For C

Ernie Cohen, Michal Moskal, Stephan Tobies, Wolfram Schulte

May 2009

SSV 2009. To appear.

论文与出版物

[old] A Practical Verification Methodology for Concurrent Programs

Michal Moskal, Wolfram Schulte

MSR-TR-2009-16159 | February 2009

论文与出版物

A Practical Verification Methodology for Concurrent Programs

Michal Moskal, Wolfram Schulte, Ernie Cohen, Stephan Tobies

MSR-TR-2009-2019 | February 2009

论文与出版物

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

Wolfram Schulte

AMAST | January 2008

ISBN: 978-3-540-79979-5

论文与出版物

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

论文与出版物

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, 第 31 卷

论文与出版物 项目

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

论文与出版物

A Precise Yet Efficient Memory Model For C

Ernie Cohen, Michal Moskal, Stephan Tobies, Wolfram Schulte

May 2009

SSV 2009. To appear.

论文与出版物

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

Wolfram Schulte

AMAST | January 2008

ISBN: 978-3-540-79979-5

论文与出版物

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

论文与出版物

[old] A Practical Verification Methodology for Concurrent Programs

Michal Moskal, Wolfram Schulte

MSR-TR-2009-16159 | February 2009

论文与出版物

A Practical Verification Methodology for Concurrent Programs

Michal Moskal, Wolfram Schulte, Ernie Cohen, Stephan Tobies

MSR-TR-2009-2019 | February 2009

论文与出版物

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, 第 31 卷

论文与出版物 项目