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
作者：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
作者：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
作者：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
人员
Akash Lal
Senior Principal Researcher
Michal Moskal
Principal Research Software Development Engineer
Shuvendu Lahiri
Senior Principal Researcher