Software verification: Revision history

19 May 2007

• curprev 21:0221:02, 19 May 2007 128.189.141.19 talk 2,640 bytes +72 →See also undo

18 April 2007

• curprev 08:4208:42, 18 April 2007 MER-C talk contribs m 2,568 bytes +2,436 Reverted 2 edits by 217.33.44.2 identified as vandalism to last revision by Indon. undo
• curprev 08:4208:42, 18 April 2007 217.33.44.2 talk 132 bytes −2,452 ←Replaced page with 'Verification sucks cock and likes it up the chocolate escalator. Tony Blair also sucks his wife's cock whilst fingering George Bush.' undo
• curprev 08:4008:40, 18 April 2007 217.33.44.2 talk 2,584 bytes +16 No edit summary undo

26 March 2007

• curprev 13:5613:56, 26 March 2007 Indon talk contribs m 2,568 bytes +2,091 Reverted 16 edits by Dalesgay identified as vandalism to last revision by 194.47.135.91. undo
• curprev 13:5413:54, 26 March 2007 Dalesgay talk contribs 477 bytes −24 No edit summary undo
• curprev 13:5313:53, 26 March 2007 Dalesgay talk contribs 501 bytes −29 No edit summary undo
• curprev 13:5313:53, 26 March 2007 Dalesgay talk contribs 530 bytes −38 →Static verification (Analysis) undo
• curprev 13:5313:53, 26 March 2007 Dalesgay talk contribs 568 bytes −40 →Does danny lawton enjoy bum? undo
• curprev 13:5013:50, 26 March 2007 Dalesgay talk contribs 608 bytes +21 No edit summary undo
• curprev 13:4713:47, 26 March 2007 Dalesgay talk contribs 587 bytes +4 →Does elliot enjoy bum? undo
• curprev 13:4713:47, 26 March 2007 Dalesgay talk contribs 583 bytes +27 No edit summary undo
• curprev 13:4713:47, 26 March 2007 Dalesgay talk contribs 556 bytes +3 →Does elliot enjoy bum? undo
• curprev 13:4613:46, 26 March 2007 Dalesgay talk contribs 553 bytes −588 No edit summary undo
• curprev 13:4513:45, 26 March 2007 Dalesgay talk contribs 1,141 bytes −39 →is dale gay verification= how does Dale act towards gay people(Test, Experimentation) undo
• curprev 13:4513:45, 26 March 2007 Dalesgay talk contribs 1,180 bytes +20 →is dale gay verification= how does Dale act towards gay people(Test, Experimentation) undo
• curprev 13:4513:45, 26 March 2007 Dalesgay talk contribs 1,160 bytes +34 No edit summary undo
• curprev 13:4413:44, 26 March 2007 Dalesgay talk contribs 1,126 bytes +37 →is dale gay verification (Test, Experimentation) undo
• curprev 13:4413:44, 26 March 2007 Dalesgay talk contribs 1,089 bytes −1,502 →is dale gay verification (Test, Experimentation) undo
• curprev 13:4113:41, 26 March 2007 Dalesgay talk contribs 2,591 bytes +19 No edit summary undo
• curprev 13:3913:39, 26 March 2007 Dalesgay talk contribs 2,572 bytes +4 →Dynamic verification (Test, Experimentation) undo

26 January 2007

• curprev 15:1015:10, 26 January 2007 194.47.135.91 talk 2,568 bytes +2 No edit summary undo

4 January 2007

• curprev 14:2214:22, 4 January 2007 Al17 talk contribs m 2,566 bytes −83 →Static verification (Analysis): rvv undo
• curprev 08:2808:28, 4 January 2007 61.12.20.130 talk 2,649 bytes +83 →Static verification (Analysis) undo

13 October 2006

• curprev 10:0510:05, 13 October 2006 61.6.254.4 talk 2,566 bytes −12 No edit summary undo
• curprev 10:0310:03, 13 October 2006 61.6.254.4 talk 2,578 bytes +8 No edit summary undo
• curprev 10:0110:01, 13 October 2006 61.6.254.4 talk 2,570 bytes +4 No edit summary undo

19 September 2006

• curprev 14:1514:15, 19 September 2006 62.101.92.221 talk 2,566 bytes 0 →Dynamic verification (Test, Experimentation) undo

8 September 2006

• curprev 11:4711:47, 8 September 2006 Jeff3000 talk contribs m 2,566 bytes +21 Disambiguate Analysis to Static code analysis using popups undo

28 August 2006

• curprev 19:2119:21, 28 August 2006 RussBot talk contribs m 2,545 bytes +17 Robot-assisted fixing links to disambiguation page (you can help!) Test undo
• curprev 02:3202:32, 28 August 2006 SmackBot talk contribs m 2,528 bytes +3 ISBN formatting &/or general fixes using AWB undo

21 August 2006

• curprev 19:2919:29, 21 August 2006 Enoch the red talk contribs m 2,525 bytes −4 removed link to test disambiguation page as the correct meaning of test is experimentation which is linked to immediately after. undo

17 August 2006

• curprev 19:4019:40, 17 August 2006 CoderGnome talk contribs m 2,529 bytes −5 →Dynamic verification (Test, Experimentation): Updated V&V link undo

10 August 2006

• curprev 12:0012:00, 10 August 2006 206.195.19.47 talk 2,534 bytes +34 →Dynamic verification (Test, Experimentation) undo

10 July 2006

• curprev 18:5918:59, 10 July 2006 DéRahier talk contribs m 2,500 bytes +1 misspelled successful using AWB undo

15 June 2006

• curprev 20:3620:36, 15 June 2006 151.25.37.154 talk 2,499 bytes +416 Added aims of verification and validation, emphasis on their different objectives. undo

30 March 2006

• curprev 13:1113:11, 30 March 2006 128.130.60.1 talk 2,083 bytes +38 →Dynamic verification (Test, Experimentation): me - Added link to "V&V: Verification and Validation" undo

21 March 2006

• curprev 02:1002:10, 21 March 2006 Schmiteye talk contribs m 2,045 bytes +1 "funtion" undo

17 October 2005

• curprev 07:2207:22, 17 October 2005 Thv talk contribs m 2,044 bytes +85 +see also "why" tool undo

19 July 2005

• curprev 03:3403:34, 19 July 2005 Sozin talk contribs 1,959 bytes +2 →Dynamic verification (Test, Experimentation) undo
• curprev 03:3303:33, 19 July 2005 Sozin talk contribs 1,957 bytes +416 →Dynamic verification (Test, Experimentation) undo
• curprev 02:2102:21, 19 July 2005 Sozin talk contribs 1,541 bytes +2 →Static verification (Analysis) undo
• curprev 02:2002:20, 19 July 2005 67.175.201.128 talk 1,539 bytes +6 →Static verification (Analysis) undo

17 April 2005

• curprev 05:1105:11, 17 April 2005 Hooperbloob talk contribs m 1,533 bytes +31 +cat undo

12 December 2004

• curprev 16:2016:20, 12 December 2004 AjAldous talk contribs m 1,502 bytes +6 No edit summary undo

18 June 2004

• curprev 20:5620:56, 18 June 2004 Fdiotalevi talk contribs 1,496 bytes +206 No edit summary undo
• curprev 05:5405:54, 18 June 2004 Fdiotalevi talk contribs m 1,290 bytes +78 No edit summary undo

17 June 2004

• curprev 13:0813:08, 17 June 2004 Fdiotalevi talk contribs 1,212 bytes +1,179 First release undo

19 May 2004

• curprev 20:3820:38, 19 May 2004 Zuidervled talk contribs 33 bytes +7 No edit summary undo
• curprev 20:3720:37, 19 May 2004 Zuidervled talk contribs 26 bytes +26 No edit summary