The logic of bugs

Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering

Volumn , Issue , 2002, Pages 81-87

  Holzmann, Gerard J ^a  

^a LUCENT TECHNOLOGIES   (United States)

Author keywords

Distributed systems software; Logic model checking; SPIN

Indexed keywords

ALGORITHMS; CONCURRENT ENGINEERING; LOGIC PROGRAMMING; PROGRAM COMPILERS; RELIABILITY;

CONCURRENT PROGRAMMING; LOGIC MODEL CHECKING; SOFTWARE BUGS;

SOFTWARE ENGINEERING;

EID: 0037673164     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/605466.605479     Document Type: Conference Paper

References (13)

1. L. Amster, D.L. McClain (Eds.), Kill Duck Before Serving, Red Faces at The New York Times, Publ. St. Martin's Griffin, New York, 2002, 172 pgs.
2. T. Ball, and S.K. Rajamani, Boolean programs: a model an process for software analysis. MSR Technical Report 2000-14, February 2000, 29 pgs.
3. J. Corbett, M. Dwyer, et. al, Bandera: Extracting finite-state models from Java source code., Proc. ICSE 2000, Limerick, Ireland.
4. M. Dwyer, G. Avrunin, and J. Corbett. Patterns in property specifications for finite-state verification. In Proc. 21st Int. Conf. on Software Eng., ICSE99, Los Angeles, May 1999. See also: http://www.cis.ksu.edu/santos/spec-patterns/ltl.html
5. G.J. Holzmann, The model checker Spin. IEEE Trans. On Software Engineering. May 1997, Vol. 23, No. 5, pp. 279-295.
6. G.J. Holzmann, and M.H. Smith, Software model checking: extracting verification models from source code. Formal Methods for Protocol Engineering and Distributed Systems, Oct. 1999, Kluwer Academic Publ., pp. 481-497.
7. G.J. Holzmann, Economics of Software Verification, Proc. ACM Workshop on Program Analysis for Software Tools and Engineering, Snowbird, PASTE2001, Utah, USA, June 2001.
8. Information Week, Issue on Software Quality, Jan. 21, 2002.
9. G.E. Moore, Cramming more components onto integrated circuits. Electronics, April 19, 1965, pp. 114-117.
10. P. Naur, and B. Randell (Eds.) Report on Working Conference on Software Engineering, 1968, Garmish, Germany. Publ. 1969, NATO, Brussels.
11. A. Pnueli, The temporal logic of programs. Proc. 18th IEEE Symposium on Foundations of Computer Science, 1977, Providence, R.I., pp. 46-57.
12. M.H. Smith, G.J. Holzmann, and K. Etessami, Events and constraints, a graphical editor for capturing logic properties of programs. Proc. 5th Int. Symp. on Requirements Engineering, Toronto, Canada, August 2001, pp. 14-22.
13. W. Thomas, Automata on infinite words. Handbook on Theoretical Computer Science, Volume B, Elsevier Science 1990, pp. 135-165.