This position paper addresses, and attempts to propose solutions for, critical issues in software engineering that need to be resolved before the Verified Software grand challenge as proposed by Professor Tony Hoare can be usefully exploited in industry to increase the assurance of software intensive systems. © IFIP International Federation for Information Processing 2008.
CITATION STYLE
Bharadwaj, R. (2008). Verified software: The real grand challenge. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4171 LNCS, pp. 318–324). https://doi.org/10.1007/978-3-540-69149-5_34
Mendeley helps you to discover research relevant for your work.