Abstract Patterns of Compositional Reasoning

  title={Abstract Patterns of Compositional Reasoning},
  author={Nina Amla and E. Allen Emerson and Kedar S. Namjoshi and Richard J. Trefler},
Patterns of Compositional Reasoning Nina Amla1, E. Allen Emerson2, Kedar Namjoshi3, and Richard Trefler4 1 Cadence Design Systems 2 Univ. of Texas at Austin 3 Bell Labs, Lucent Technologies 4 Univ. of Waterloo Abstract. Compositional Reasoning – reducing reasoning about a conCompositional Reasoning – reducing reasoning about a concurrent system to reasoning about its individual components – is an essential tool for managing proof complexity and state explosion in model checking. Typically, such… CONTINUE READING
Highly Cited
This paper has 17 citations. REVIEW CITATIONS