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
Partner Researcher
Michal Moskal
Principal Research Software Development Engineer
Shuvendu Lahiri
Senior Principal Researcher