Thread Quantification for Concurrent Shape Analysis - Microsoft Research

Share this page

Microsoft Research

Projects

Publications

People

Downloads

Project Tuva Enhanced Video Player

Project Tuva Enhanced Video Player

Watch the Feynman Lectures

Home

> Publications > Thread Quantification for Concurrent Shape Analysis

Thread Quantification for Concurrent Shape Analysis

Josh Berdine, T. Lev-Ami, Roman Manevich, Ganesan Ramalingam, and Mooly Sagiv
July 2008

cav08.pdf

In: Computer Aided Verification (CAV)

Details

Type:

Inproceedings

Related People

Related Groups

Rigorous Software Engineering