Software validation and verification - a state of the art report(Panel Discussion)
T. A. Straeter, Carlo Broglio, Marilyn S. Fujii, Leon G. Stucki, Sabina H. Saib, David C. Luckham · 1978
In recent years, a number of new and innovative techniques have been developed for the verification and validation of software. The panel was chosen with representatives of both users and contributors to the technology. The panelists Dr. Carlo Broglio and Marilyn Fujii are actively engaged in the V&V of systems soon to be operational. Dr. Leon Stucki and Dr. Sabina Saib, in addition to having been active contributors to the current state of the V&V technology, are currently applying their work to large systems under development. The final panelist, Dr. David Luckham has recently developed a formal PASCAL verifier which he is actively using on real programs.