Breaking through the V and V bottleneck [chapter]

Martin Croxford, James Sutton
1996 Lecture Notes in Computer Science  
With conventional methods of performing verification and validation -heavily reliant on testing performed late in the software production processthe late detection of errors adds substantially to project costs and delays in delivery, and introduces significant risks. This paper presents a method of software development aimed at "correctness by construction", which greatly attenuates these problems. The process described here has been applied successfully to the development of avionic software for the new C-130J ("Hercules") aircraft.
doi:10.1007/bfb0015506 fatcat:sawcwg24oba43j656aswyjndza