TITLE: Modular Flow Analysis of Concurrent Software

AUTHOR: Matthew B. Dwyer 

AFFILIATION: Department of Computing and Info. Sciences 
             Kansas State University

KEYWORDS:
  software validation and verification, program flow analysis, 
  concurrent software, modular systems, unit-level analysis

ABSTRACT:
  Analyzing the potential behavior of concurrent software is a
  difficult and complex problem.  In this paper, we describe an analysis
  approach that takes advantage of the modular construction of complex
  software systems to reduce the cost of analysis.  This work builds off
  of an existing approach, FLAVERS, that uses program flow analysis to
  verify explicitly stated correctness properties of concurrent
  software.  

  We describe how different mechanisms can be used to define module 
  boundaries within which independent flow analyses can be conducted.
  We provide evidence that such modular analyses are more efficient, 
  can produce results of greater precision, and can be applied in the 
  context of common software development strategies.