Advertisement

Integer programming in the analysis of concurrent systems

  • George S. Avrunin
  • Ugo A. Buy
  • James C. Corbett
Session 4: Applications 2
Part of the Lecture Notes in Computer Science book series (LNCS, volume 575)

Keywords

Regular Expression Integer Solution Concurrent Program Concurrent System Execution Trace 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

References

  1. [1]
    T. Araki and N. Tokura. Flow languages equal recursively enumerable languages. Acta Inf., 15:209–217, 1981.Google Scholar
  2. [2]
    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.Google Scholar
  3. [3]
    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.Google Scholar
  4. [4]
    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.Google Scholar
  5. [5]
    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.Google Scholar
  6. [6]
    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.Google Scholar
  7. [7]
    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.Google Scholar
  8. [8]
    L. K. Dillon. Analysis of Distributed Systems Using Constrained Expressions. PhD thesis, University of Massachusetts, Amherst, 1984.Google Scholar
  9. [9]
    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.Google Scholar
  10. [10]
    G. M. Karam and R. J. Buhr. Starvation and critical race analyzers for Ada. IEEE Trans. Softw. Eng., 16(8):829–843, 1990.Google Scholar
  11. [11]
    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.Google Scholar
  12. [12]
    M. A. Saunders. MINOS system manual. Technical Report SOL 77-31, Stanford University, Department of Operations Research, 1977.Google Scholar
  13. [13]
    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.Google Scholar
  14. [14]
    J. C. Wileden. Modelling Parallel Systems with Dynamic Structure. PhD thesis, University of Michigan, 1978.Google Scholar
  15. [15]
    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.Google Scholar
  16. [16]
    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).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1992

Authors and Affiliations

  • George S. Avrunin
    • 1
  • Ugo A. Buy
    • 2
  • James C. Corbett
    • 1
  1. 1.University of Massachusetts at AmherstAmherst
  2. 2.University of Illinois at ChicagoChicago

Personalised recommendations