Promela: 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 05:5205:52, 8 January 2024‎ Cedar101 talk contribs‎ m 16,020 bytes +387‎ →‎Keywords: {{mono}} undo

curprev 14:4814:48, 7 January 2024‎ Cedar101 talk contribs‎ m 15,633 bytes +90‎ <nowiki/> undo Tag: nowiki added
curprev 12:3812:38, 7 January 2024‎ Cedar101 talk contribs‎ m 15,543 bytes +235‎ {{sxhl|2=promela|1=}} undo

curprev 03:1303:13, 3 December 2022‎ Stevej098 talk contribs‎ m 15,308 bytes +211‎ Links to CAVA project website for Computer Aided Verification of Automata undo

curprev 14:3114:31, 1 August 2022‎ 2a02:1812:110c:dc00:e493:f5b5:50b7:a710 talk‎ 15,097 bytes +18‎ No edit summary undo

curprev 00:1200:12, 20 July 2022‎ Plastikspork talk contribs‎ 15,079 bytes +16‎ Expand per TfD undo

curprev 13:4713:47, 11 May 2022‎ Ohconfucius talk contribs‎ 15,063 bytes +38‎ Script-assisted style fixes and per CS1 undo

curprev 16:2216:22, 21 January 2022‎ Rswarbrick talk contribs‎ 15,025 bytes +473‎ →‎top: Properly cite conference paper and fix link undo

curprev 15:0315:03, 9 June 2021‎ Jarble talk contribs‎ m 14,552 bytes +4‎ link temporal logic using Find link undo

curprev 07:1707:17, 14 July 2020‎ Cedar101 talk contribs‎ m 14,548 bytes +22‎ →‎Complex data structures: {{sxhl}} undo
curprev 07:1607:16, 14 July 2020‎ Cedar101 talk contribs‎ m 14,526 bytes +54‎ →‎Data types: {{ts|ar}} {{sxhl|2=c|1=}} undo Tag: nowiki added

curprev 07:2307:23, 11 February 2019‎ Dzinoviev talk contribs‎ 14,472 bytes −77‎ →‎External links: The link expired undo

curprev 18:0918:09, 14 May 2018‎ DeprecatedFixerBot talk contribs‎ m 14,549 bytes +12‎ Removed deprecated parameter(s) from Template:Columns-list using DeprecatedFixerBot. Questions? See Template:Div col#Usage of "cols" parameter or msg TSD! (please mention that this is task #2!)) undo

curprev 17:4117:41, 18 November 2017‎ 129.21.120.64 talk‎ 14,537 bytes +84‎ Added information about the Promela's file extension undo

curprev 15:5715:57, 9 September 2016‎ Cic talk contribs‎ 14,453 bytes −331‎ →‎External links: Cleanup, removed spam and unnecessary links undo

curprev 20:3920:39, 6 October 2015‎ Ysangkok talk contribs‎ 14,784 bytes +204‎ CAVA implementation undo

curprev 16:1216:12, 2 September 2015‎ Iridescent talk contribs‎ m 14,580 bytes +2‎ →‎Executability: Typo fixing, typo(s) fixed: Therefore → Therefore, (2) using AWB undo

curprev 17:3317:33, 3 December 2014‎ Bgwhite talk contribs‎ 14,578 bytes −200‎ doesn't need to be monospaced using AWB (10497) undo

curprev 04:0204:02, 30 July 2014‎ Peaceray talk contribs‎ m 14,778 bytes +32‎ Added {{Single source}} undo

curprev 22:5022:50, 9 February 2014‎ BG19bot talk contribs‎ m 14,746 bytes +1‎ WP:CHECKWIKI error fix for #61. Punctuation goes before References. Do general fixes if a problem exists. - using AWB (9916) undo

curprev 07:2107:21, 18 January 2014‎ 218.186.183.66 talk‎ 14,745 bytes +73‎ →‎External links undo
curprev 07:1607:16, 18 January 2014‎ 218.186.183.66 talk‎ 14,672 bytes +267‎ →‎Executability undo

curprev 13:1713:17, 2 January 2014‎ Ysangkok talk contribs‎ 14,405 bytes +6‎ →‎Keywords: close tt undo
curprev 13:1313:13, 2 January 2014‎ Ysangkok talk contribs‎ 14,399 bytes +73‎ →‎Keywords: real list undo

curprev 20:5320:53, 22 November 2013‎ 79.221.70.24 talk‎ 14,326 bytes −102‎ The sentence was removed as it is not always true. In SPIN-Promela atomic sequences may contain blocking statements anywhere; only d_steps are not allowed to block anywhere other than the first statement. See here: http://spinroot.com/spin/Man/Quick.html undo
curprev 20:5120:51, 22 November 2013‎ 79.221.70.24 talk‎ 14,428 bytes +102‎ Undid revision 582867564 by 79.221.70.24 (talk) undo
curprev 20:5020:50, 22 November 2013‎ 79.221.70.24 talk‎ 14,326 bytes −102‎ The sentence was removed as it is not necessarily true. In SPIN atomic sequences may contain blocking stamementany statement, only d_steps are not allowed to block anywhere other than the first statement. See here: http://spinroot.com/spin/Man/Quick.html undo

curprev 08:2908:29, 11 November 2013‎ 173.29.134.82 talk‎ 14,428 bytes +45‎ →‎Keywords undo

curprev 23:0423:04, 29 August 2013‎ Helptry talk contribs‎ 14,383 bytes +37‎ →‎added name undo

curprev 09:5109:51, 25 April 2013‎ 194.29.160.178 talk‎ 14,346 bytes 0‎ →‎Executability: syntax error in example code. Should be chan Chan_data_in; chan Chan_data_out OR chan Chan_data_in, Chan_data_out (as I've changed it). undo

curprev 04:3604:36, 7 April 2013‎ Mild Bill Hiccup talk contribs‎ m 14,346 bytes +68‎ →‎PROMELA Language Reference: spelling; person undo

curprev 00:3400:34, 23 March 2013‎ 169.235.28.9 talk‎ 14,278 bytes 0‎ Minor Edit undo
curprev 00:3200:32, 23 March 2013‎ 169.235.28.9 talk‎ 14,278 bytes 0‎ Minor Edit undo
curprev 00:0700:07, 23 March 2013‎ 169.235.28.9 talk‎ 14,278 bytes −1‎ Minor Edit undo

curprev 18:2418:24, 16 March 2013‎ Addbot talk contribs‎ m 14,279 bytes −46‎ Bot: Migrating 3 interwiki links, now provided by Wikidata on d:q948666 undo

curprev 11:1011:10, 13 January 2013‎ EmausBot talk contribs‎ m 14,325 bytes +1‎ r2.7.2+) (Robot: Modifying it:Protel to it:PROMELA undo

curprev 06:5006:50, 26 September 2011‎ 14.139.97.4 talk‎ 14,324 bytes −6‎ →‎Introduction undo

curprev 07:1107:11, 25 August 2011‎ 59.162.23.4 talk‎ 14,330 bytes +6‎ →‎Introduction undo

curprev 13:0713:07, 24 May 2011‎ 193.54.225.89 talk‎ 14,324 bytes 0‎ →‎Executability undo

curprev 11:3111:31, 12 February 2011‎ ChuispastonBot talk contribs‎ m 14,324 bytes +14‎ r2.7.1) (robot Adding: it:Protel undo

curprev 12:5612:56, 24 July 2010‎ 91.67.240.187 talk‎ 14,310 bytes +4‎ linkified "language construct" undo

curprev 09:5109:51, 19 March 2010‎ 193.213.25.105 talk‎ 14,306 bytes +86‎ →‎External links undo

curprev 16:4816:48, 18 October 2009‎ SmackBot talk contribs‎ m 14,220 bytes −31‎ Correct standard headers and general fixes undo

curprev 19:4619:46, 27 August 2009‎ Iohannes Animosus talk contribs‎ m 14,251 bytes −9‎ →‎PROMELA Language Reference: Typo fixing, typos fixed: algoritm → algorithm using AWB undo

curprev 12:5412:54, 11 August 2009‎ Aclassifier talk contribs‎ m 14,260 bytes +74‎ →‎Executability: --~~~~ undo
curprev 12:2912:29, 11 August 2009‎ Aclassifier talk contribs‎ m 14,186 bytes +226‎ →‎Executability: non-deterministic, random, verification and simulation better described --~~~~ undo

curprev 13:1813:18, 7 August 2009‎ Aclassifier talk contribs‎ m 13,960 bytes +7‎ →‎Executability: --~~~~ undo
curprev 13:1613:16, 7 August 2009‎ Aclassifier talk contribs‎ m 13,953 bytes +82‎ →‎Executability: More precise phrasing (but uncertain about the Randomness Wiki reference) --~~~~ undo
curprev 13:0413:04, 7 August 2009‎ Aclassifier talk contribs‎ m 13,871 bytes +1‎ Comma undo

curprev 13:5913:59, 6 August 2009‎ Aclassifier talk contribs‎ 13,870 bytes −3‎ →‎Message Passing: rendez-vous spelled in one word--~~~~ undo

8 January 2024

7 January 2024

3 December 2022

1 August 2022

20 July 2022

11 May 2022

21 January 2022

9 June 2021

14 July 2020

11 February 2019

14 May 2018

18 November 2017

9 September 2016

6 October 2015

2 September 2015

3 December 2014

30 July 2014

9 February 2014

18 January 2014

2 January 2014

22 November 2013

11 November 2013

29 August 2013

25 April 2013

7 April 2013

23 March 2013

16 March 2013

13 January 2013

26 September 2011

25 August 2011

24 May 2011

12 February 2011

24 July 2010

19 March 2010

18 October 2009

27 August 2009

11 August 2009

7 August 2009

6 August 2009