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
Publications by Year
-
-
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
Publications by Research Area
-
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
Publications by Type
-
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
Senior Principal Researcher
Michal Moskal
Principal Research Software Development Engineer
Shuvendu Lahiri
Senior Principal Researcher