TITLE: Using Partial Evaluation to Enable Verification of Concurrent Software

AUTHOR: Matthew B. Dwyer (1), John Hatcliff (2), and Muhammad Nanda (2)

AFFILIATIONS: (1) Department of Computing and Information Sciences 
                  Kansas State University
              (2) Department of Computer Science
                  Oklahoma State University

ABSTRACT:
  Partial evaluation and finite-state verification techniques
  have been developed, for the most part, in separate communities.
  Despite this there is significant overlap at both conceptual
  and technical levels involving specific program analysis and transformation
  methods.  In this paper, we describe some of the connections between
  these two areas of research and how, by exploiting these connections,
  we can increase the impact of these techniques on software practice.