User contributions for Michael Leuschel

18 December 2015

• 17:5117:51, 18 December 2015 diff hist +69 State space visualization examples →Alternating Bit Protocol
• 17:4817:48, 18 December 2015 diff hist +686 State space visualization examples →Alternating Bit Protocol
• 17:4617:46, 18 December 2015 diff hist +1 State space visualization examples →Alternating Bit Protocol
• 17:4617:46, 18 December 2015 diff hist +13 State space visualization examples →Alternating Bit Protocol
• 17:4517:45, 18 December 2015 diff hist 0 N File:MCAlternatingBit sfdp.png No edit summary current
• 17:4517:45, 18 December 2015 diff hist +318 N State space visualization examples Created page with " == Alternating Bit Protocol == This is a visualisation of 3643 states and 11115 transitions of the MCAlternatingBit.tla model distributed with the TLC model checker, loaded..."
• 17:4217:42, 18 December 2015 diff hist +230 State Space Visualization →Statespace Projections
• 17:4017:40, 18 December 2015 diff hist −2 State Space Visualization →Other Visualization Commands =
• 17:4017:40, 18 December 2015 diff hist +196 State Space Visualization No edit summary
• 17:3517:35, 18 December 2015 diff hist +209 State Space Visualization No edit summary

15 December 2015

• 15:0115:01, 15 December 2015 diff hist −18 Bridges Puzzle (Hashiwokakero) No edit summary
• 15:0115:01, 15 December 2015 diff hist −2 Bridges Puzzle (Hashiwokakero) →Adding graphical visualization
• 15:0115:01, 15 December 2015 diff hist +71 Bridges Puzzle (Hashiwokakero) No edit summary
• 14:5914:59, 15 December 2015 diff hist 0 N File:ProB BridgesSolOmni.png No edit summary current
• 14:5914:59, 15 December 2015 diff hist +231 Bridges Puzzle (Hashiwokakero) →Adding graphical visualization
• 14:5814:58, 15 December 2015 diff hist 0 File:ProB BridgesPuzzle.png Michael Leuschel uploaded a new version of File:ProB BridgesPuzzle.png current
• 14:5214:52, 15 December 2015 diff hist +335 Bridges Puzzle (Hashiwokakero) No edit summary
• 14:4714:47, 15 December 2015 diff hist 0 N File:ProB BridgesPuzzle.png No edit summary
• 14:4714:47, 15 December 2015 diff hist +79 Bridges Puzzle (Hashiwokakero) No edit summary
• 14:4314:43, 15 December 2015 diff hist 0 Bridges Puzzle (Hashiwokakero) →Adding graphical visualization
• 14:4314:43, 15 December 2015 diff hist 0 N File:ProB BridgesSol.png No edit summary current
• 14:4314:43, 15 December 2015 diff hist 0 Bridges Puzzle (Hashiwokakero) →Adding graphical visualization
• 14:4114:41, 15 December 2015 diff hist 0 Bridges Puzzle (Hashiwokakero) →Adding graphical visualization
• 14:4014:40, 15 December 2015 diff hist +2,676 Bridges Puzzle (Hashiwokakero) No edit summary
• 14:3414:34, 15 December 2015 diff hist +1,985 N Bridges Puzzle (Hashiwokakero) Created page with "The [https://en.wikipedia.org/wiki/Hashiwokakero Hashiwokakero] Puzzle is a logical puzzle where one has to build <b>bridges</b> between islands. The puzzle is also known unde..."
• 14:2114:21, 15 December 2015 diff hist +37 User Manual →Sample Models

30 November 2015

• 14:2614:26, 30 November 2015 diff hist 0 Links →Related Tools
• 14:2614:26, 30 November 2015 diff hist +84 Links →Related Tools

24 November 2015

• 11:1511:15, 24 November 2015 diff hist +20 Apples and Oranges (Apple Interview Question) No edit summary current
• 11:1311:13, 24 November 2015 diff hist +1 Apples and Oranges (Apple Interview Question) No edit summary
• 11:1311:13, 24 November 2015 diff hist 0 N File:ProB ApplesOranges Table.png No edit summary current
• 11:1311:13, 24 November 2015 diff hist +269 Apples and Oranges (Apple Interview Question) No edit summary
• 10:0910:09, 24 November 2015 diff hist +448 Apples and Oranges (Apple Interview Question) No edit summary
• 07:5807:58, 24 November 2015 diff hist −1 Apples and Oranges (Apple Interview Question) No edit summary

23 November 2015

• 15:5215:52, 23 November 2015 diff hist +1 Apples and Oranges (Apple Interview Question) No edit summary
• 13:1213:12, 23 November 2015 diff hist −1 Apples and Oranges (Apple Interview Question) No edit summary
• 13:1013:10, 23 November 2015 diff hist +210 Apples and Oranges (Apple Interview Question) No edit summary
• 13:0713:07, 23 November 2015 diff hist +2,240 N Apples and Oranges (Apple Interview Question) Created page with "This puzzle is [https://bgr.com/2015/11/20/apple-interview-questions/ apparently an Interview question at Apple]. Quoting from [https://bgr.com/2015/11/20/apple-interview-ques..."
• 12:5512:55, 23 November 2015 diff hist +52 User Manual →Sample Models

18 November 2015

• 08:4008:40, 18 November 2015 diff hist +1 Well-Definedness Checking No edit summary
• 08:3908:39, 18 November 2015 diff hist +469 Well-Definedness Checking No edit summary
• 08:3408:34, 18 November 2015 diff hist +108 Tutorial Debugging Well-Definedness and Transition Errors No edit summary current
• 08:3208:32, 18 November 2015 diff hist +83 Tutorial Debugging Well-Definedness and Transition Errors No edit summary
• 08:3108:31, 18 November 2015 diff hist +30 Using ProB with Atelier B →Limitations
• 08:3108:31, 18 November 2015 diff hist −30 Summary of B Syntax →Differences with AtelierB/B4Free
• 08:3008:30, 18 November 2015 diff hist +30 Summary of B Syntax No edit summary
• 08:3008:30, 18 November 2015 diff hist −8 Well-Definedness Checking No edit summary
• 08:3008:30, 18 November 2015 diff hist +206 Well-Definedness Checking No edit summary
• 08:2908:29, 18 November 2015 diff hist +1,235 N Well-Definedness Checking Created page with " Well-definedness errors can occur in B in the following circumstances: * a division by 0: <tt>r=100/0</tt> * modulo by 0, modulo involving negative numbers * exponentiation u..."
• 08:2108:21, 18 November 2015 diff hist +32 Template:User Manual Index No edit summary