The Verification Grand Challenge

  title={The Verification Grand Challenge},
  author={Jim Woodcock and Richard Banach},
  journal={J. UCS},
In today’s world, the cost of malfunctioning software is truly staggering. According to a report of the US Department of Commerce’s National Institute of Standards and Technology, the cost to the US economy alone could be as high as $60Bn a year. If you multiply by three to include the impact on the world as a whole, you reach a figure that exceeds the gross national product of many countries. If the manufacturers of everyday goods, such as cars, sold their products in the way that sofware… CONTINUE READING
Highly Cited
This paper has 33 citations. REVIEW CITATIONS