Revision as of 15:39, 16 November 2024 edit Vkuncak (talk \| contribs) 493 edits m →See also: added link to formal verification ← Previous edit		Revision as of 00:34, 11 December 2024 edit undo 37.39.151.77 (talk) No edit summary Tags: Reverted Visual edit Mobile edit Mobile web edit Next edit →
Line 51: * [[Formal verification]] * ~~== References ==~~ * [[IEEE]]: ''SWEBOK: Guide to the Software Engineering Body of Knowledge'' * [[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