Formal methods for early fault detection

Publisher Website

1 January 1996

book chapter
Published by Springer Nature

p. 40-54
https://doi.org/10.1007/3-540-61648-9_33

Abstract

No abstract available

Keywords

This publication has 4 references indexed in Scilit:

Implementing and verifying MSC specifications using PROMELA/XSPIN
Published by American Mathematical Society (AMS) ,1997
Principles and methods of testing finite state machines-a survey
Proceedings of the IEEE, 1996
Early fault detection tools
Published by Springer Nature ,1996
Seven more myths of formal methods
IEEE Software, 1995