STATIC ANALYSIS TO ENHANCE THE POWER OF MODEL CHECKING FOR CONCURRENT SOFTWARE

$4,137,525FY2008Department of the NavyDOD

Carnegie Mellon University, Pittsburgh PA

Investigators