Publisher
Springer Science and Business Media LLC
Reference41 articles.
1. Avrunin, G.S., Buy, U.A., Corbett, J.C., Dillon, L.K., and Wileden, J.C. 1991. Automated analysis of concurrent systems with the constrained expression toolset.IEEE Trans. Softw. Eng., 17(11):1204?1222.
2. Avrunin, G.S., Dillon, L.K., Wileden, J.C., and Riddle, W.E. 1986. Constrained expressions: Adding analysis capabilities to design methods for concurrent software systems.IEEE Trans. Softw. Eng., 12(2):278?292.
3. Bryant, R.E. 1992. Symbolic boolean manipulation with ordered binary-decision diagrams.ACM Comput. Surv., 24(3):293?318.
4. Buy, U. 1990.Automatic Synthesis of Resource Sharing Concurrent Programs. PhD Thesis, University of Massachusetts, Amherst, Massachusetts.
5. Buy, U.A. and Moll, R. 1991a. Liveness analysis and the automatic generation of concurrent programs. In E.M. Clarke and R.P. Kurshan (Eds.),Computer-Aided Verification'90, DIMACS 3, pp. 535?550, American Mathematical Society.