Veri ed Software: The Real Grand Challenge

Abstract

This position paper addresses, and attempts to propose solutions for, critical issues in software engineering that need to be resolved before the Veri ed Software grand challenge as proposed by Professor Tony Hoare can be usefully exploited in industry to increase the assurance of software intensive systems. 

Topics

Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics