Software verification: Revision history

Filter revisionsshowhide

To date:

Tag filter:

Invert selection

External tools:

For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

curprev 14:2914:29, 9 July 2024‎ Frost talk contribs‎ m 5,136 bytes −17‎ Reverted edits by 2001:FD8:1A00:71F0:118A:7292:E958:601C (talk) (HG) (3.4.12) undo Tags: Huggle Rollback
curprev 14:2914:29, 9 July 2024‎ 2001:fd8:1a00:71f0:118a:7292:e958:601c talk‎ 5,153 bytes +17‎ YOTNINAYO undo Tags: Reverted Visual edit Mobile edit Mobile web edit

curprev 15:0615:06, 3 August 2023‎ Vkuncak talk contribs‎ m 5,136 bytes +328‎ Minor simplifications and addition of ACM classification reference. undo Tag: Visual edit: Switched

curprev 17:3217:32, 16 April 2021‎ Walter Görlitz talk contribs‎ 4,808 bytes +730‎ Reverted 1 edit by 2600:1700:B150:A4A0:3C6B:C26:85B1:1E43 (talk): Unexplained blanking undo Tags: Twinkle Undo
curprev 14:0414:04, 16 April 2021‎ 2600:1700:b150:a4a0:3c6b:c26:85b1:1e43 talk‎ 4,078 bytes −730‎ No edit summary undo Tags: Reverted section blanking

curprev 23:0123:01, 8 September 2019‎ Jarble talk contribs‎ m 4,808 bytes +35‎ linking undo

curprev 12:1312:13, 7 August 2019‎ BrownHairedGirl talk contribs‎ m 4,773 bytes −35‎ remove links to deleted portals undo Tag: AWB

curprev 14:1314:13, 1 July 2019‎ CLCStudent talk contribs‎ m 4,808 bytes +44‎ Reverted 1 edit by 39.42.45.241 (talk) to last revision by Kind Tennis Fan (TW) undo Tag: Undo
curprev 14:1314:13, 1 July 2019‎ 39.42.45.241 talk‎ 4,764 bytes −44‎ →‎Static verification (Analysis) undo

curprev 02:3802:38, 18 January 2019‎ Kind Tennis Fan talk contribs‎ 4,808 bytes −15‎ Undid revision 878964699 by 151.255.107.234 (talk) Rv. disruptive edit. undo Tag: Undo
curprev 02:3002:30, 18 January 2019‎ 151.255.107.234 talk‎ 4,823 bytes +15‎ →‎Broad scope and classification: 1908175789212570‏ undo Tag: extraneous markup

curprev 02:5602:56, 14 January 2019‎ 160.62.13.190 talk‎ 4,808 bytes −2‎ →‎Static verification (Analysis) undo

curprev 07:4107:41, 29 December 2018‎ 183.171.96.21 talk‎ 4,810 bytes +2‎ No edit summary undo Tags: Mobile edit Mobile web edit

curprev 20:5020:50, 20 December 2018‎ Shellwood talk contribs‎ m 4,808 bytes +158‎ Reverted edits by 2600:387:B:982:0:0:0:1 (talk) (HG) (3.4.6) undo Tags: Huggle Rollback
curprev 20:4520:45, 20 December 2018‎ 2600:387:b:982::1 talk‎ 4,650 bytes −158‎ No edit summary undo Tags: Mobile edit Mobile web edit

curprev 14:2614:26, 2 April 2018‎ 109.92.106.95 talk‎ 4,808 bytes −1‎ →‎Broad scope and classification undo

curprev 23:3123:31, 30 June 2017‎ Magic links bot talk contribs‎ m 4,809 bytes +4‎ Replace magic links with templates per local RfC and MediaWiki RfC undo

curprev 16:2116:21, 28 June 2017‎ Edwardx talk contribs‎ 4,805 bytes +4‎ wikilink(s) added undo

curprev 21:0221:02, 22 May 2017‎ George Rodney Maruri Game talk contribs‎ m 4,801 bytes +21‎ →‎Narrow scope: Exception added. undo

curprev 12:1912:19, 10 May 2017‎ George Rodney Maruri Game talk contribs‎ m 3,634 bytes +97‎ Phrases about a more general issue moved to its own section. undo

curprev 18:3618:36, 31 December 2016‎ Jarble talk contribs‎ 3,537 bytes +28‎ →‎See also undo

curprev 20:0620:06, 22 May 2016‎ Matthiaspaul talk contribs‎ 3,509 bytes +27‎ →‎See also: +link undo

curprev 19:3819:38, 4 May 2015‎ Bamyers99 talk contribs‎ 3,482 bytes +47‎ Undid revision 660569218 by 124.253.114.20 (talk) undo

curprev 10:3210:32, 3 May 2015‎ 124.253.114.20 talk‎ 3,435 bytes −47‎ →‎Dynamic verification (Test, experimentation) undo

curprev 13:0313:03, 14 September 2014‎ 91.202.129.190 talk‎ 3,482 bytes +8‎ →‎Dynamic verification (Test, experimentation) undo
curprev 13:0213:02, 14 September 2014‎ 91.202.129.190 talk‎ 3,474 bytes +3‎ →‎Dynamic verification (Test, experimentation) undo

curprev 16:0816:08, 13 September 2014‎ Jeanqasaur talk contribs‎ 3,471 bytes −992‎ No edit summary undo
curprev 04:4004:40, 13 September 2014‎ Jeanqasaur talk contribs‎ 4,463 bytes +1,046‎ →‎Static verification (Analysis) undo

curprev 17:3017:30, 26 July 2014‎ Magioladitis talk contribs‎ m 3,417 bytes −4‎ Removing invisible Unicode character/ Replacing hard spaces See WP:CHECKWIKI error #16 fix + other fixes, replaced: → (4) using AWB (10331) undo

curprev 10:1110:11, 12 June 2014‎ Vkuncak talk contribs‎ m 3,421 bytes +254‎ 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. undo Tag: Visual edit

curprev 10:2510:25, 24 December 2013‎ North8000 talk contribs‎ 3,167 bytes −23‎ non notable self promotional undo
curprev 09:0809:08, 24 December 2013‎ Maxhitchens talk contribs‎ m 3,190 bytes 0‎ →‎See also undo
curprev 09:0109:01, 24 December 2013‎ Maxhitchens talk contribs‎ m 3,190 bytes +24‎ →‎See also undo

curprev 00:4300:43, 16 April 2013‎ Niceguyedc talk contribs‎ m 3,166 bytes +26‎ WPCleaner v1.27 - Repaired 1 link to disambiguation page - (You can help) - Stress test undo

curprev 07:4907:49, 13 March 2013‎ Addbot talk contribs‎ m 3,140 bytes −63‎ Bot: Migrating 1 interwiki links, now provided by Wikidata on d:q6504747 undo

curprev 07:1307:13, 23 January 2013‎ 82.240.113.185 talk‎ 3,203 bytes −25‎ removed "broader and more complex" which doesn't make sense in a one-line definition undo

curprev 23:2223:22, 10 April 2012‎ Wbm1058 talk contribs‎ m 3,228 bytes −3‎ →‎Dynamic verification (Test, experimentation): italics, not bold undo
curprev 23:1523:15, 10 April 2012‎ Wbm1058 talk contribs‎ 3,231 bytes +59‎ ==See also== * Verification and validation (software) undo

curprev 12:1712:17, 29 August 2011‎ Gt8gtrman talk contribs‎ 3,172 bytes −403‎ →‎Dynamic verification (Test, experimentation) undo
curprev 12:1612:16, 29 August 2011‎ Gt8gtrman talk contribs‎ 3,575 bytes +401‎ →‎Static verification (Analysis) undo
curprev 12:1512:15, 29 August 2011‎ Gt8gtrman talk contribs‎ 3,174 bytes +403‎ →‎Dynamic verification (Test, experimentation) undo

curprev 22:2222:22, 23 June 2011‎ Academy633 talk contribs‎ 2,771 bytes +193‎ →‎References undo

curprev 14:4914:49, 25 February 2010‎ 82.44.76.200 talk‎ 2,578 bytes +5‎ No edit summary undo
curprev 14:4814:48, 25 February 2010‎ 82.44.76.200 talk‎ 2,573 bytes +2‎ No edit summary undo

curprev 16:5616:56, 19 January 2010‎ Xqbot talk contribs‎ m 2,571 bytes +33‎ robot Modifying: th:การทวนสอบซอฟต์แวร์ undo

Software verification: Revision history

9 July 2024

3 August 2023

16 April 2021

8 September 2019

7 August 2019

1 July 2019

18 January 2019

14 January 2019

29 December 2018

20 December 2018

2 April 2018

30 June 2017

28 June 2017

22 May 2017

11 May 2017

10 May 2017

31 December 2016

22 May 2016

4 May 2015

3 May 2015

14 September 2014

13 September 2014

26 July 2014

12 June 2014

24 December 2013

16 April 2013

13 March 2013

23 January 2013

10 April 2012

29 August 2011

23 June 2011

25 February 2010

19 January 2010