Automated Analysis of Concurrent Systems With the Constrained Expression Toolset

  title={Automated Analysis of Concurrent Systems With the Constrained Expression Toolset},
  author={George S. Avrunin and Ugo A. Buy and James C. Corbett and Laura K. Dillon and Jack C. Wileden},
  journal={IEEE Trans. Software Eng.},
The constrained expression approach to analysis of concurrent software systems has several attractive features, including the facts that it can be used with a variety of design and programming languages and that it does not require a complete enumeration of the set of reachable states of the concurrent system. This paper reports on the construction of a toolset automating the main constrained expression analysis techniques and the results of experiments with that toolset. The toolset is capable… CONTINUE READING
Highly Influential
This paper has highly influenced 11 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS

From This Paper

Topics from this paper.


Publications citing this paper.
Showing 1-10 of 66 extracted citations


Publications referenced by this paper.
Showing 1-10 of 22 references

Automated constrained expression analysis of real-time software,

  • G. S. Avrunin, J. C. Corbett, L. K. Dillon, J . C. Wileden
  • Dept. Comput. and Inform. Sci., Univ…
  • 1990

\ Theory and application of Petri netreduction for Adatasking deadlock analysis

  • S. M. Shatz
  • 1990

An interleaving set temporal logic,

  • R. A. Kemmerer, Ed
  • Software Eng. Notes,
  • 1989

Corbett received the B.S. degree in computer science from Rensselaer Polytechnic Institute, Troy, NY, in 1987, and the M.S. degree in computer science from the University of Massachusetts

  • C. James
  • 1987

Similar Papers

Loading similar papers…