Revision as of 10:11, 12 June 2014 edit Vkuncak (talk \| contribs) 493 edits m Added in the bibliography section a citation and a PDF link to a useful survey on software verification, where the readers can find more information. The information in there can also be used to expand this article over time. Tag: Visual edit ← Previous edit		Revision as of 17:30, 26 July 2014 edit undo Magioladitis (talk \| contribs) Extended confirmed users, Rollbackers 908,596 edits m Removing invisible Unicode character/ Replacing hard spaces See WP:CHECKWIKI error #16 fix + other fixes, replaced: → (4) using AWB (10331) Next edit →
Line 1: {{Portal\|Software Testing}}▼ '''Software verification''' is a discipline of [[software engineering]] whose goal is to assure that software fully satisfies all the expected requirements. Line 36 ⟶ 35: ==See also== ▲{{Portal\|Software Testing}} * [[Verification and validation (software)]] Line 42: * [[Carlo Ghezzi]], [[Mehdi Jazayeri]], [[Dino Mandrioli]]: ''Fundamentals of Software Engineering'', Prentice Hall, ISBN 0-13-099183-X * [[Alan L. Breitler]]: ''A Verification Procedure for Software Derived from Artificial Neural Networks'', Journal of the International Test and Evaluation Association, Jan 2004, Vol 25, No 4. * Vijay D'Silva, Daniel Kroening, Georg Weissenbacher: [http://www.kroening.com/papers/tcad-sw-2008.pdf A Survey of Automated Techniques for Formal Software Verification]. IEEE Trans. on CAD of Integrated Circuits and Systems 27(7): 1165-1178 (2008) [[Category:Software testing]]

Software verification: Difference between revisions