Formal methods for early fault detection

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1135, Issue , 1996, Pages 40-54

  Holzmann, Gerard J ^a  

^a LUCENT TECHNOLOGIES   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FAULT DETECTION; FAULT TOLERANCE; REAL TIME SYSTEMS;

DESIGN PROBLEMS; DESIGN PROCESS; FORMAL VERIFICATION METHODS; INITIAL PHASIS; PROBLEM SOLVING TOOL;

FORMAL METHODS;

EID: 21444455808     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61648-9_33     Document Type: Conference Paper

References (11)

1. Alur, R., Holzmann, G.J., Peled, D.: An analyzer for message sequence charts. LNCS 1055, Springer, (1996), 35-48.
2. Bowen, J., Hinchey, M.G.: Seven more myths of formal methods. IEEE Software, 12(4), (July 1995), 34-41.
3. Holzmann, G.J.: Design and validation of computer protocols. Prentice Hall, Software Series, 1991.
4. Holzmann, G.J.: Early fault detection tools. LNCS 1055, Springer, (1996), 1-13.
5. ITU-T Recommendation Z.IPO, Message Sequence Chart (MSC), March 1993. (MSC96: http://www.wln.tue.nl/wln/es/fm/sjouke/msc.html)
6. Kernighan, B.W., Ritchie, D.M.: The C Programming Language. Prentice Hall, 2nd Ed. 1988.
7. Lee, D., Yannakakis, M.: Principles and Methods for Testing Finite State Machines. The Proceedings of the IEEE, August 1996.
8. Koutsofios, E., North, S.C.: Drawing Graphs with Dot. Technical Memorandum, Bell Laboratories, 1991.
9. Leue S., Ladkin, P., Implementing and Verifying Scenario-Based Specifications Using Promela/SPIN. Proceedings of the Pad Spin Workshop, Rutgers University, August 5, 1996.
10. Ousterhout, J.: Tcl and the Tk toolkit. Addison-Wesley, 1994.
11. Selic, B., Gullekson, G., Ward, P.T.: Real-time object-oriented modeling. Wiley, New York, 1994