Device driver synthesis and verification: Revision history

25 October 2024

• curprev 18:0018:00, 25 October 2024 Frap talk contribs 22,245 bytes +35 No edit summary undo

5 April 2024

• curprev 10:5010:50, 5 April 2024 Renewal6 talk contribs m 22,210 bytes +752 Reverted edits by 2806:370:5585:A7E2:1:0:A5CE:FA8E (talk) (AV) undo Tags: AntiVandal Rollback
• curprev 10:4910:49, 5 April 2024 2806:370:5585:a7e2:1:0:a5ce:fa8e talk 21,458 bytes −752 No edit summary undo Tags: Reverted Mobile edit Mobile web edit

12 March 2024

• curprev 18:0718:07, 12 March 2024 Kvng talk contribs m 22,210 bytes 0 caps undo

29 January 2024

• curprev 13:3613:36, 29 January 2024 InternetArchiveBot talk contribs 22,210 bytes +217 Rescuing 2 sources and tagging 0 as dead.) #IABot (v2.0.9.5 undo

17 March 2023

• curprev 16:2916:29, 17 March 2023 Citation bot talk contribs 21,993 bytes −40 Misc citation tidying. | Use this bot. Report bugs. | Suggested by AManWithNoPlan | #UCB_CommandLine undo

21 October 2021

• curprev 01:1901:19, 21 October 2021 Willondon talk contribs m 22,033 bytes +22 Undid revision 1050989361 by 75.87.42.162 (talk); unexplained removal of wikilink undo Tag: Undo
• curprev 01:1701:17, 21 October 2021 75.87.42.162 talk 22,011 bytes −22 No edit summary undo Tags: Reverted Visual edit Mobile edit Mobile web edit

15 August 2021

• curprev 23:3223:32, 15 August 2021 Njd-de talk contribs 22,033 bytes −76 Undid revision 929949532 by 116.206.32.59 (talk) rv spam (how did this survive 2 years??!!) undo Tag: Undo
• curprev 23:3223:32, 15 August 2021 Njd-de talk contribs 22,109 bytes −74 Undid revision 930302075 by 116.206.32.45 (talk) rv spam undo Tag: Undo

6 June 2020

• curprev 01:4401:44, 6 June 2020 Jarble talk contribs 22,183 bytes +240 adding links to references using Google Scholar undo
• curprev 01:4201:42, 6 June 2020 Jarble talk contribs 21,943 bytes +543 adding links to references using Google Scholar undo

11 December 2019

• curprev 15:3315:33, 11 December 2019 116.206.32.45 talk 21,400 bytes +74 →Device driver Synthesis undo Tags: Reverted Visual edit

9 December 2019

• curprev 07:3707:37, 9 December 2019 116.206.32.59 talk 21,326 bytes +76 →Standalone Driver Synthesis undo Tag: Reverted

26 November 2019

• curprev 23:0923:09, 26 November 2019 InternetArchiveBot talk contribs 21,250 bytes +44 Rescuing 1 sources and tagging 0 as dead.) #IABot (v2.0 undo

8 January 2019

• curprev 19:1619:16, 8 January 2019 JCW-CleanerBot talk contribs m 21,206 bytes +13 task, replaced: SIGPLAN Not. → ACM SIGPLAN Notices (2) undo Tag: AWB

29 July 2018

• curprev 12:5312:53, 29 July 2018 Jabberjaw talk contribs 21,193 bytes −35 clean up; move image; using AWB undo

13 October 2017

• curprev 17:2417:24, 13 October 2017 2606:a000:870d:bc00:f0ee:6f45:b25b:99ca talk 21,228 bytes −14 Change wording of introduction and fix spacing and punctuation throughout the article. undo

28 June 2017

• curprev 16:2416:24, 28 June 2017 Edwardx talk contribs 21,242 bytes +4 wikilink(s) added undo

8 May 2017

• curprev 17:0917:09, 8 May 2017 Chris the speller talk contribs m 21,238 bytes 0 →Software Model Checking: replaced: build → built using AWB undo

11 September 2016

• curprev 23:0223:02, 11 September 2016 71.13.66.147 talk 21,238 bytes −1 →Verification of Device Drivers undo

22 July 2016

• curprev 02:3302:33, 22 July 2016 I dream of horses talk contribs m 21,239 bytes −10 clean up, typo(s) fixed: For example → For example, using AWB undo

5 January 2015

• curprev 15:0115:01, 5 January 2015 CommonsDelinker talk contribs m 21,249 bytes 0 Replacing Driverarch.gif with File:Driverarch.png (by GifTagger because: Replacing GIF by exact PNG duplicate.). undo

25 April 2014

• curprev 19:1019:10, 25 April 2014 Wavelength talk contribs 21,249 bytes −1 rewording: —> "errors of that kind" undo

5 March 2014

• curprev 10:0610:06, 5 March 2014 Edward talk contribs m 21,250 bytes +4 link memory safety using Find link undo

23 October 2013

• curprev 02:2602:26, 23 October 2013 Khazar2 talk contribs m 21,246 bytes 0 →Motivation for automatic driver synthesis and verification: clean up, MOS:HYPHEN, replaced: poorly- → poorly using AWB undo

27 July 2013

• curprev 06:3506:35, 27 July 2013 Codename Lisa talk contribs 21,246 bytes +119 Added {{cleanup-reorganize}}, {{context}} and {{lead rewrite}} tags (within {{multiple issues}}) to article undo
• curprev 06:3306:33, 27 July 2013 Codename Lisa talk contribs 21,127 bytes −48 Unlinked: Synthesis (Definitely not about chemistry and biochemistry, chemical engineering, physics, electronics, speech and sound creation, Humanities, politics, media or clothing) undo

23 June 2013

• curprev 16:0616:06, 23 June 2013 CmdrObot talk contribs 21,175 bytes −1 sp: et. al.→et al.; capitalisation (3): linux undo

8 May 2013

• curprev 09:3809:38, 8 May 2013 Yobot talk contribs m 21,176 bytes 0 →Compiler Techniques: WP:CHECKWIKI error fixes using AWB (9120) undo

27 April 2013

• curprev 03:5703:57, 27 April 2013 71.174.184.179 talk 21,176 bytes +59 →Standalone Driver Synthesis: More grammatical and stylistic polishing; added link to article Live variable analysis. undo
• curprev 03:4403:44, 27 April 2013 71.174.184.179 talk 21,117 bytes +96 →Conclusion: Stylistic cleanup, plus some "marketing hype" enhancement at the end. :^) undo
• curprev 03:2903:29, 27 April 2013 71.174.184.179 talk 21,021 bytes +50 →Software Model Checking: Tried to clean up technical explanation - review by an expert would be advisable. HAH! "BLAST" -- now THERE's a clear example of the "Acronym First" design paradigm! undo
• curprev 03:2003:20, 27 April 2013 71.174.184.179 talk 20,971 bytes 0 →Software Model Checking: Hyphenated a compound noun to make it conform to the rules of the applicable grammar... :^) undo
• curprev 03:1803:18, 27 April 2013 71.174.184.179 talk 20,971 bytes +56 →Compiler Techniques: Hey, honest, I was only trying to fix the grammar, but got dragged into trying to clarify the technical explanation. HELP!!! undo
• curprev 03:0103:01, 27 April 2013 71.174.184.179 talk 20,915 bytes +152 →Static Analysis: More grammatical and stylistic polishing + added link to article Type safety. undo
• curprev 02:4602:46, 27 April 2013 71.174.184.179 talk 20,763 bytes +15 →Verification of Device Drivers: More grammatical fixes and some stylistic smoothing. undo
• curprev 02:1402:14, 27 April 2013 71.174.184.179 talk 20,748 bytes −1 →Motivation for automatic driver synthesis and verification: Corrected grammatical error - "Each" is singular so "each has" is correct, while "each have" mismatches singular subject with plural verb. " undo
• curprev 02:1002:10, 27 April 2013 71.174.184.179 talk 20,749 bytes 0 Improved diction (=more precise choice of words). undo

30 March 2013

• curprev 18:4218:42, 30 March 2013 Wavelength talk contribs 20,749 bytes −10 "in to" (adverb and preposition) —> "into" (preposition) [10 instances]—wikt:in—wikt:to—wikt:into—http://public.wsu.edu/~brians/errors/into.html undo

23 January 2013

• curprev 13:3813:38, 23 January 2013 Haihaeppchen talk contribs m 20,759 bytes +15 →External links: Fixed dead link, directly referenced the paper on the authors webpage. undo

28 August 2012

• curprev 15:4915:49, 28 August 2012 RussBot talk contribs m 20,744 bytes +18 Robot: fix links to disambiguation page Hardware undo

2 April 2012

• curprev 11:2411:24, 2 April 2012 Rcsprinter123 talk contribs m 20,726 bytes −34 Reverted edits by 182.177.229.161 (talk) identified as spam (HG) undo
• curprev 11:2311:23, 2 April 2012 182.177.229.161 talk 20,760 bytes +34 →Static Analysis undo
• curprev 11:2211:22, 2 April 2012 XLinkBot talk contribs 20,726 bytes −34 BOT--Reverting link addition(s) by 182.177.229.161 to revision 473844882 (http://highspeedsoft.blogspot.com/==Verification [\bblog(?:cu|fa|harbor|mybrain|post|savy|spot|townhall)?\.com\b]) undo
• curprev 11:2111:21, 2 April 2012 182.177.229.161 talk 20,760 bytes +34 →Verification of Device Drivers undo

29 January 2012

• curprev 12:3012:30, 29 January 2012 John of Reading talk contribs m 20,726 bytes −1 →Conclusion: Typo fixing, replaced: where as → whereas using AWB undo

18 January 2012

• curprev 00:3200:32, 18 January 2012 BattyBot talk contribs 20,727 bytes −10 General fixes, removed orphan tag using AWB (7916) undo

10 January 2012

• curprev 05:3905:39, 10 January 2012 50.135.220.126 talk 20,737 bytes +689 No edit summary undo

23 December 2011

• curprev 03:5703:57, 23 December 2011 FrescoBot talk contribs m 20,048 bytes −27 Bot: link syntax/spacing and minor changes undo