Early fault detection tools

Software-Concepts and Tools

Volumn 17, Issue 2, 1996, Pages 63-69

  Holzmann, Gerard J ^a  

^a LUCENT TECHNOLOGIES   (United States)

Author keywords

Design analysis; Early fault detection; Fault detection; Message sequence chart; Software development

Indexed keywords

EID: 0008921599     PISSN: 09458115     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (12)

1. Aho AV, Kernighan BW, Weinberger PJ (1988) The AWK Programming Language. Addison-Wesley
2. Alur R, Holzmann GJ, Peled D (March 1966) An Analyzer for Message Sequence Charts. Proc. TACAS96, Passau, Germany, Lecture Notes in Computer Science, Vol. 1055, 35-48
3. Berry J, et al. (June 1955) Link: A Combinatorics and Graph Theory Workbench for Applications and Research. DIMACS, Technical Report, 95-15
4. Gasner ER, et al. (May 1993) A Technique for Drawing Directed Graphs. IEEE Trans. on Software Engineering, Vol. 19, No. 3, 214-230
5. Gerth R, et al. (1995) Simple on-the-fly Automatic Verification of Linear Temporal Logic. PSTV95, Protocol Specification Testing and Verification, Warsaw, Poland, Chapman & Hall, Germany, 173-184
6. Holzmann GJ (1991) Design and Validation of Computer Protocols. Prentice Hall, Software Series
7. Holzmann GJ, Peled D (1994) An Improvement in Formal Verification. Proc. 7th Int. Conf. on Formal Description Techniques, Berne, Switzerland, 177-194
8. ITU-T (previously CCITT) (March 1993) Criteria for the Use and Applicability of Formal Description Techniques. Recommendation Z.120, Message Sequence Chart (MSC), 35 pgs.
9. Ousterhout J (1994) Tcl and the Tk Toolkit. Addison-Wesley
10. Pnueli A (1977) The Temporal Logic of Programs. Proc. of the 18th IEEE Symp. on Foundation of Computer Science, 46-57
11. Selic B, Gullekson G, Ward PT (1994) Real-time Object-oriented Modeling. Wiley, New York
12. Wilkinson NM (1995) Using CRC Cards: An Informal Approach to Object Oriented Development. SIGS Books, New York, Advances in Object Technology