The research described here was partially supported by National Science Foundation grant CCR-8806970 and Office of Naval Research grant N00014-89-J-1064.
Chapter PDF
References
T. Araki and N. Tokura. Flow languages equal recursively enumerable languages. Acta Inf., 15:209–217, 1981.
G. S. Avrunin, U. Buy, and J. Corbett. Automatic generation of inequality systems for constrained expression analysis. Technical Report 90-32, Department of Computer and Information Science, University of Massachusetts, Amherst, 1990.
G. S. Avrunin, U. A. Buy, J. C. Corbett, L. K. Dillon, and J. C. Wileden. Automated analysis of concurrent systems with the constrained expression toolset. IEEE Trans. Softw. Eng., November 1991, to appear.
G. S. Avrunin, U. A. Buy, J. C. Corbett, L. K. Dillon, and J. C. Wileden. Experiments with an improved constrained expression toolset. In Proceedings of the Symposium on Testing, Analysis, and Verification, Oct. 1991, to appear.
G. S. Avrunin, J. C. Corbett, L. K. Dillon, and J. C. Wileden. Automated constrained expression analysis of real-time software. Submitted for publication. Available as Technical Report 90-117, Department of Computer and Information Science, University of Massachusetts, Dec. 1990.
G. S. Avrunin, L. K. Dillon, J. C. Wileden, and W. E. Riddle. Constrained expressions: Adding analysis capabilities to design methods for concurrent software systems. IEEE Trans. Softw. Eng., 12(2):278–292, 1986.
J. C. Corbett. On selecting a form for inequality generation in the constrained expression toolset. Constrained Expression Memorandum 90-1, Department of Computer and Information Science, University of Massachusetts, Amherst, 1990.
L. K. Dillon. Analysis of Distributed Systems Using Constrained Expressions. PhD thesis, University of Massachusetts, Amherst, 1984.
L. K. Dillon, G. S. Avrunin, and J. C. Wileden. Constrained expressions: Toward broad applicability of analysis methods for distributed software systems. ACM Trans. Prog. Lang. Syst., 10(3):374–402, July 1988.
G. M. Karam and R. J. Buhr. Starvation and critical race analyzers for Ada. IEEE Trans. Softw. Eng., 16(8):829–843, 1990.
T. Murata, B. Shenker, and S. M. Shatz. Detection of Ada static deadlocks using Petri net invariants. IEEE Trans. Softw. Eng., 15(3):314–326, 1989.
M. A. Saunders. MINOS system manual. Technical Report SOL 77-31, Stanford University, Department of Operations Research, 1977.
A. Valmari. A stubborn attack on state explosion. In E. M. Clarke and R. P. Kurshan, editors, Computer-Aided Verification '90, number 3 in DIMACS Series in Discrete Mathematics and Theoretical Computer Science, pages 25–41, Providence, RI, 1991. American Mathematical Society.
J. C. Wileden. Modelling Parallel Systems with Dynamic Structure. PhD thesis, University of Michigan, 1978.
J. C. Wileden. Constrained expressions and the analysis of designs for dynamically-structured distributed systems. In Proceedings of the International Conference on Parallel Processing, pages 340–344, August 1982.
M. Young, R. N. Taylor, K. Forester, and D. Brodbeck. Integrated concurrency analysis in a software development environment. In R. A. Kemmerer, editor, Proceedings of the ACM SIGSOFT '89 Third Symposium on Software Testing, Analysis and Verification, pages 200–209, 1989. Appeared as Software Engineering Notes, 14(8).
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Avrunin, G.S., Buy, U.A., Corbett, J.C. (1992). Integer programming in the analysis of concurrent systems. In: Larsen, K.G., Skou, A. (eds) Computer Aided Verification. CAV 1991. Lecture Notes in Computer Science, vol 575. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55179-4_10
Download citation
DOI: https://doi.org/10.1007/3-540-55179-4_10
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55179-9
Online ISBN: 978-3-540-46763-2
eBook Packages: Springer Book Archive