User contributions for Michael Leuschel

1 March 2011

• 08:3508:35, 1 March 2011 diff hist +1,392 N Tutorial Complete Model Checking Created page with 'Category:User Manual We assume that you have completed Tutorial First Model Checking. There we have seen how to find invariant violations using the model checker. In t…'
• 08:2608:26, 1 March 2011 diff hist +63 Tutorial No edit summary

10 February 2011

• 18:1518:15, 10 February 2011 diff hist +42 The ProB Animator and Model Checker No edit summary
• 18:1318:13, 10 February 2011 diff hist +92 The ProB Animator and Model Checker No edit summary
• 18:1018:10, 10 February 2011 diff hist +378 The ProB Animator and Model Checker No edit summary
• 17:0117:01, 10 February 2011 diff hist +204 Download →tcl/tk
• 17:0017:00, 10 February 2011 diff hist +1 Download →Latest Release
• 16:1716:17, 10 February 2011 diff hist −6 The ProB Animator and Model Checker No edit summary
• 16:1616:16, 10 February 2011 diff hist +170 The ProB Animator and Model Checker No edit summary
• 13:3513:35, 10 February 2011 diff hist 0 Download →Latest Release
• 13:3413:34, 10 February 2011 diff hist +1,264 Download →Latest Release

1 February 2011

• 15:0115:01, 1 February 2011 diff hist +145 Getting Involved →The Prolog Sources

26 October 2010

• 07:3407:34, 26 October 2010 diff hist −1 SiemensComplicatedProp No edit summary current
• 07:3407:34, 26 October 2010 diff hist +517 SiemensComplicatedProp No edit summary

25 October 2010

• 13:0313:03, 25 October 2010 diff hist −4 SiemensComplicatedProp No edit summary
• 13:0213:02, 25 October 2010 diff hist −12 SiemensComplicatedProp No edit summary
• 13:0213:02, 25 October 2010 diff hist −4 SiemensComplicatedProp No edit summary
• 13:0113:01, 25 October 2010 diff hist −4 SiemensComplicatedProp No edit summary
• 12:5912:59, 25 October 2010 diff hist +6 SiemensComplicatedProp No edit summary
• 12:5812:58, 25 October 2010 diff hist 0 N File:GraphicalViewerSiemensSaoPauloL9.png No edit summary
• 12:5812:58, 25 October 2010 diff hist +94 SiemensComplicatedProp No edit summary
• 12:5612:56, 25 October 2010 diff hist 0 N File:GraphicalViewerSiemensSaoPauloL9.pdf No edit summary current
• 12:5612:56, 25 October 2010 diff hist +992 N SiemensComplicatedProp Created page with 'This shows the graphical visualisation of a complicated property by ProB's graphical formula viewer. The property is the following one: <pre> (!iti_ztr.(iti_ztr: t_iti_ztr_pas =…'
• 12:5212:52, 25 October 2010 diff hist +93 User Manual No edit summary

11 October 2010

• 08:2808:28, 11 October 2010 diff hist +172 Tutorial CSP First Step →Other Features
• 06:4306:43, 11 October 2010 diff hist +105 Tutorial CSP First Step →Other Features
• 06:4106:41, 11 October 2010 diff hist 0 Tutorial CSP First Step →Other Features
• 06:4006:40, 11 October 2010 diff hist 0 N File:ProB CSPBusStatespace.png No edit summary
• 06:4006:40, 11 October 2010 diff hist +168 Tutorial CSP First Step No edit summary

10 October 2010

• 19:3819:38, 10 October 2010 diff hist 0 N File:ProB CSPAfterBoardSingleClick.png No edit summary
• 19:3819:38, 10 October 2010 diff hist +382 Tutorial CSP First Step →First Steps in Animation
• 19:3519:35, 10 October 2010 diff hist +20 Tutorial CSP First Step →First Steps in Animation
• 19:2919:29, 10 October 2010 diff hist 0 Tutorial CSP First Step →Error Highlighting
• 19:2819:28, 10 October 2010 diff hist +70 Tutorial CSP First Step No edit summary
• 19:2719:27, 10 October 2010 diff hist +15 Tutorial CSP First Step →Error Highlighting
• 19:2619:26, 10 October 2010 diff hist +50 Tutorial CSP First Step →Error Highlighting
• 19:2519:25, 10 October 2010 diff hist 0 N File:ProB CSPAfterModelCheck2.png No edit summary
• 19:2519:25, 10 October 2010 diff hist +672 Tutorial CSP First Step No edit summary
• 19:1919:19, 10 October 2010 diff hist +52 Tutorial CSP First Step No edit summary
• 19:1819:18, 10 October 2010 diff hist +246 Tutorial CSP First Step No edit summary
• 19:1619:16, 10 October 2010 diff hist 0 Tutorial CSP First Step No edit summary
• 19:1519:15, 10 October 2010 diff hist 0 N File:ProB CSPAfterModelCheck.png No edit summary
• 19:1519:15, 10 October 2010 diff hist 0 N File:ProB CSPModelCheck.png No edit summary
• 19:1419:14, 10 October 2010 diff hist +825 Tutorial CSP First Step No edit summary
• 19:0819:08, 10 October 2010 diff hist 0 File:ProB CSPAfterTauSingleClick.png uploaded a new version of "File:ProB CSPAfterTauSingleClick.png"
• 19:0519:05, 10 October 2010 diff hist 0 N File:ProB CSPAfterTauSingleClick.png No edit summary
• 19:0519:05, 10 October 2010 diff hist +611 Tutorial CSP First Step No edit summary
• 19:0119:01, 10 October 2010 diff hist 0 File:ProB CSPAfterInit.png uploaded a new version of "File:ProB CSPAfterInit.png"
• 19:0019:00, 10 October 2010 diff hist 0 File:ProB CSPAfterInit.png uploaded a new version of "File:ProB CSPAfterInit.png"
• 19:0019:00, 10 October 2010 diff hist 0 N File:ProB CSPAfterInit.png No edit summary