TITLE:   Using Partial Evaluation to Enable Verification of Concurrent Software
AUTHORS: Matthew Dwyer, John Hatcliff, Muhammad Nanda

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.