skip to main content
10.1145/302405.302710acmconferencesArticle/Chapter ViewAbstractPublication PagesicseConference Proceedingsconference-collections
Article
Free Access

A practical method for verifying event-driven software

Published:16 May 1999Publication History
First page image

References

  1. 1.Bartlett, K.A., Scantlebury, R.A., and Wilkinson, P.T. "A note on reliable full-duplex transmission over halfduplex lines," Comm. of the ACM, Vol. 12, No. 5, (1969), pp. 260-265. Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. 2.Bellcore LSSGR, LATA Switching Systems Generic Requirements, FR-NWT-000064, 1992. Incl: SPCS Capabilities and Features, SR-504: 1, (March 1996).Google ScholarGoogle Scholar
  3. 3.LSSGR, FSD 01-02-1450, p. 8.Google ScholarGoogle Scholar
  4. 4.LSSGR, FSD 01-02-1201, p. 2.Google ScholarGoogle Scholar
  5. 5.Buchi, J.R., "On a decision method in restricted secondorder arithmetics," Proc. 1960 Int. Cong. on Logic, Methods, and Philosophy of Science, Stanford University Press, (1962), pp. 1-12.Google ScholarGoogle Scholar
  6. 6.Ghan, W., Anderson, R.J., Beame, P., et al., "'Model checking large software specifications," IEEE Trans. on Software Engineering, Vol. 24, No. 7, (1998), pp. 498- 519. Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. 7.Chaves, J.A., "Formal Methods at AT&T - An Industrial Usage Report," Proc. 4th Conf on Formal Description Techniques, North-Holland, Amsterdam, (1992), pp. 83- 90. Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. 8.Colby, C., Godefroid, P., Jagadeesan, L., "Automatically closing open reactive programs," Proc. ACM SIGPLAN Conf on Programming Language Design and Implementation, Montreal, (June 1998), pp. 345-357. Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. 9.Dwyer, M.B ., Avrunin, G.S., Corbett, J.C., "Property Specification Patterns for Finite-state Verification," Proc. 2nd Workshop on Formal Methods in Software Practice, Ft. Lauderdale, (March 1998). Google ScholarGoogle ScholarDigital LibraryDigital Library
  10. 10.Gerth, R., Peled, D., Vardi, M.Y., Wolper, P., "Simple On-the-fly Automatic Verification of Linear Temporal Logic," Proc. Conf on Protocol Specification, Testing and Verification, Warsaw, Poland. Chapman & Hall, Germany, (1995), pp. 173-- 184. Google ScholarGoogle ScholarDigital LibraryDigital Library
  11. 11.Godefroid, P., "VeriSoft: A Tool for the Automatic Analysis of Concurrent Reactive Software," Proc. 9th Conf on Computer Aided Verification, Haifa, (June 1997). LNCS 1254, pp. 476-479, Springer-Verlag. Google ScholarGoogle ScholarDigital LibraryDigital Library
  12. 12.Hoare, C.A.R., "Communicating sequential processes," Comm. of the ACM, Vol. 21, No. 8, (1978), pp. 666-677. Google ScholarGoogle ScholarDigital LibraryDigital Library
  13. 13.Holzmann, G.J., "The Theory and Practice of a Formal Method: NewCoRe," Proc. ZFIP World Computer Congress, Vol. I, Hamburg, Germany, (August 1994), pp. 35- 44 North-Holland Publ.Google ScholarGoogle Scholar
  14. 14.Holzmann, G.J., "The model checker SPIN," IEEE Trans. on SofhYare Engineering, Vol. 23, No. 5, (1997), pp. 279-295. Google ScholarGoogle ScholarDigital LibraryDigital Library
  15. 15.Marick, B., The Craft of Software Testing, Prentice Hall, (1995), Englewood Cliffs, NJ, USA.Google ScholarGoogle Scholar
  16. 16.Pnueli, A., "The temporal logic of programs," Proc. 18th IEEE Symposium on Foundations of Computer Science, Providence, R.I.,.(1977), pp. 46-57.Google ScholarGoogle Scholar
  17. 17.Saracco, R., Smith, J.R.W., Reed, R., Telecommunications Systems Engineering using SDL, North-Holland Publ, (1989), 632 pgs. Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. A practical method for verifying event-driven software

          Recommendations

          Comments

          Login options

          Check if you have access through your login credentials or your institution to get full access on this article.

          Sign in
          • Published in

            cover image ACM Conferences
            ICSE '99: Proceedings of the 21st international conference on Software engineering
            May 1999
            741 pages
            ISBN:1581130740
            DOI:10.1145/302405

            Copyright © 1999 ACM

            Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

            Publisher

            Association for Computing Machinery

            New York, NY, United States

            Publication History

            • Published: 16 May 1999

            Permissions

            Request permissions about this article.

            Request Permissions

            Check for updates

            Qualifiers

            • Article

            Acceptance Rates

            Overall Acceptance Rate276of1,856submissions,15%

            Upcoming Conference

            ICSE 2024

          PDF Format

          View or Download as a PDF file.

          PDF

          eReader

          View online with eReader.

          eReader