Cooperative Reasoning for Automatic Software Verification
Invited presentation at an International Workshop on Formal Methods for
Predictable Embedded Systems - Organised by the European Microsoft
Innovation Centre (Aachen, Germany) 2010.
[
ppt ]
Automatic Software Verification: A Renaissance
Keynote at the 8th International Workshop on Automated Verification
of Critical Systems (AVoCS-08), Glasgow, UK.
[
ppt ]
Cooperative Reasoning for Automatic Software Verification
Keynote at the 15th Automated Reasoning Workshop (ARW-08) - part
of Conferences on Intelligent Computer Mathematics (CICM-08), Birmingham,
UK, 2008.
[
ppt ]
CORE: Cooperative Reasoning for Automatic Software Verification
Invited presentation at an Automated Software Engineering workshop hosted by Google
at their Mountain View campus on June 4, 2008. The talk was recorded as
part of the Google Tech Talk series, and can be accessed
here or via YouTube.
[
ppt ]
Cooperative Reasoning for Automatic Software Verification
Presented at 2nd International Workshop on
Automated Formal Methods (AFM), a satellite workshop
of the 22nd IEEE/ACM International Conference on
Automated Software Engineering (ASE-07), Atlanta, 2007.
[
ppt ]
A Cooperative Approach to Loop Invariant Discovery for Pointer
Programs
Presented at the 1st International Workshop on
Invariant Generation (WING),
a satellite workshop
of Calculemus 2007, held at RISC, Hagenberg, Austria.
[
pdf ]
Towards Automatic Assertion Refinement for Separation Logic
Poster presented at the 21st IEEE International Conference on
Automated Software Engineering, IEEE Computer Society, Tokyo, 2006.
[
pdf ]
Towards Automatic Assertion Refinement for Separation Logic
Presented at a
Scottish Theorem Proving meeting hosted by
Computer Science, University of Glasgow on June 2006.
[
pdf ]