J.-C. Rault

Learn More
This paper deals with the problem of assessing the reliability of programs written using structured programming techniques and having undergone a certain amount of testing. A program is said to be verified if, for a given set of tests it can be shown that every case of interest has been tested. As this end is, however, unattainable, we will consider, in the(More)
Promoting CAD techniques within industry encounters usually three stumbling blocks: - the use of conventional computer tools requires acquaintance with intricate “indications for use” with too much of a computer flavor. Potential users are reluctant to accept this “unnecessary” burden which might make their job more difficult and(More)
  • 1