To Goto Where No Statement Has Gone Before
Rustan Leino, Mike Barnett
VSTTE 2010 | August 2010
To appear. The attached PDF is the submitted version, not the final version.
Publications
-
-
-
-
Static and Precise Detection of Concurrency Errors in Systems Code Using SMT Solvers
Shuvendu Lahiri, Shaz Qadeer, Zvonimir Rakamaric
Computer Aided Verification (CAV '09) | February 2009
-
-
-
This is Boogie 2
K. Rustan M. Leino
June 2008
-
Verification Condition Splitting
Rustan Leino, Wolfram Schulte
Published by Microsoft Research, January 2008
-
-
-
Weakest-Precondition of Unstructured Programs
Mike Barnett, Rustan Leino
PASTE '05: The 6th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering | September 2005
PASTE '05: The 6th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
ISBN: 1-59593-239-9
-
-
-
To Goto Where No Statement Has Gone Before
Rustan Leino, Mike Barnett
VSTTE 2010 | August 2010
To appear. The attached PDF is the submitted version, not the final version.
-
Static and Precise Detection of Concurrency Errors in Systems Code Using SMT Solvers
Shuvendu Lahiri, Shaz Qadeer, Zvonimir Rakamaric
Computer Aided Verification (CAV '09) | February 2009
-
This is Boogie 2
K. Rustan M. Leino
June 2008
-
Verification Condition Splitting
Rustan Leino, Wolfram Schulte
Published by Microsoft Research, January 2008
-
Weakest-Precondition of Unstructured Programs
Mike Barnett, Rustan Leino
PASTE '05: The 6th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering | September 2005
PASTE '05: The 6th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
ISBN: 1-59593-239-9
-
-
-
This is Boogie 2
K. Rustan M. Leino
June 2008
-
Verification Condition Splitting
Rustan Leino, Wolfram Schulte
Published by Microsoft Research, January 2008
-
-
-
To Goto Where No Statement Has Gone Before
Rustan Leino, Mike Barnett
VSTTE 2010 | August 2010
To appear. The attached PDF is the submitted version, not the final version.
-
Static and Precise Detection of Concurrency Errors in Systems Code Using SMT Solvers
Shuvendu Lahiri, Shaz Qadeer, Zvonimir Rakamaric
Computer Aided Verification (CAV '09) | February 2009
-
Weakest-Precondition of Unstructured Programs
Mike Barnett, Rustan Leino
PASTE '05: The 6th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering | September 2005
PASTE '05: The 6th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
ISBN: 1-59593-239-9
-
People
Akash Lal
Partner Researcher
Shuvendu Lahiri
Senior Principal Researcher