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

출판

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.

출판

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

출판

[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 권

출판 프로젝트