All public logs

Combined display of all available logs of ProB Documentation. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

• 11:06, 24 June 2022 Michael Leuschel talk contribs created page Citing ProB (Created page with " The initial conference publication was: * Michael Leuschel & Michael Butler (2003): ProB: A Model Checker for B. In Keijiro Araki, Stefania Gnesi & Dino Mandrioli, editors:...")
• 06:25, 25 March 2022 Michael Leuschel talk contribs deleted page File:ProB2UI VisB View Export.png (Deleted old revision 20220325062502!ProB2UI_VisB_View_Export.png)
• 06:25, 25 March 2022 Michael Leuschel talk contribs uploaded a new version of File:ProB2UI VisB View Export.png
• 06:23, 25 March 2022 Michael Leuschel talk contribs created page File:ProB2UI VisB Debug Table View.png
• 06:23, 25 March 2022 Michael Leuschel talk contribs uploaded File:ProB2UI VisB Debug Table View.png
• 06:23, 25 March 2022 Michael Leuschel talk contribs created page File:ProB2UI VisB View Export.png
• 06:23, 25 March 2022 Michael Leuschel talk contribs uploaded File:ProB2UI VisB View Export.png
• 11:02, 4 March 2022 Michael Leuschel talk contribs deleted page File:DisproverProB2UIStateView2.png (Deleted old revision 20220304110220!DisproverProB2UIStateView2.png)
• 11:02, 4 March 2022 Michael Leuschel talk contribs uploaded a new version of File:DisproverProB2UIStateView2.png
• 09:31, 4 March 2022 Michael Leuschel talk contribs created page File:DisproverExportExample.png
• 09:31, 4 March 2022 Michael Leuschel talk contribs uploaded File:DisproverExportExample.png
• 09:26, 4 March 2022 Michael Leuschel talk contribs created page File:DisproverProB2UIStateView2.png
• 09:26, 4 March 2022 Michael Leuschel talk contribs uploaded File:DisproverProB2UIStateView2.png
• 09:26, 4 March 2022 Michael Leuschel talk contribs created page File:DisproverProB2UIStateView1.png
• 09:26, 4 March 2022 Michael Leuschel talk contribs uploaded File:DisproverProB2UIStateView1.png
• 09:26, 4 March 2022 Michael Leuschel talk contribs created page File:CBCStaticAssertionCheck.png
• 09:26, 4 March 2022 Michael Leuschel talk contribs uploaded File:CBCStaticAssertionCheck.png
• 08:42, 4 March 2022 Michael Leuschel talk contribs created page File:DisproverPrefs.png
• 08:42, 4 March 2022 Michael Leuschel talk contribs uploaded File:DisproverPrefs.png
• 08:49, 24 January 2022 Michael Leuschel talk contribs created page File:ProB AtelierB StartProB Menu.png
• 08:49, 24 January 2022 Michael Leuschel talk contribs uploaded File:ProB AtelierB StartProB Menu.png
• 07:20, 27 November 2021 Michael Leuschel talk contribs created page File:Lift proj.png
• 07:20, 27 November 2021 Michael Leuschel talk contribs uploaded File:Lift proj.png
• 07:18, 27 November 2021 Michael Leuschel talk contribs created page File:Lift proj.pdf
• 07:18, 27 November 2021 Michael Leuschel talk contribs uploaded File:Lift proj.pdf
• 09:33, 24 November 2021 Michael Leuschel talk contribs created page File:ProBUMLSeqChartCmd.png
• 09:33, 24 November 2021 Michael Leuschel talk contribs uploaded File:ProBUMLSeqChartCmd.png
• 09:17, 24 November 2021 Michael Leuschel talk contribs created page File:ProBUMLSeqCharScheduler.png
• 09:17, 24 November 2021 Michael Leuschel talk contribs uploaded File:ProBUMLSeqCharScheduler.png
• 08:53, 24 November 2021 Michael Leuschel talk contribs created page Generating UML Sequence Charts (Created page with "= UML Sequence Charts for Traces ProB has a new experimental feature to generate a UML sequence chart from the current animation trace. It currently only works for classical...")
• 16:25, 2 October 2021 Michael Leuschel talk contribs created page Tips for Large Specifications (Created page with " If you have very large B machines, the following tips can be useful. Indeed, when you have very large B machines with hundreds of thousands or millions of lines of code, the...")
• 15:59, 15 June 2021 David Geleßus talk contribs created page Handbook/ProB Prolog Guide (Created page with "__TOC__ = Running ProB from source = {{:Running ProB from source}} = Building ProB on Windows = {{:Building ProB on Windows}} = Organization of ProB Sources = {...")
• 15:53, 15 June 2021 David Geleßus talk contribs created page Handbook/ProB 2 Java API (Created page with "= ProB Java API = {{:ProB Java API}} = Programmatic Abstractions in the ProB 2.0 API = {{:Programmatic Abstractions in the ProB 2.0 API}}")
• 15:52, 15 June 2021 David Geleßus talk contribs created page Handbook/ProB 2 UI (Created page with "= ProB2-UI = {{:ProB2-UI}} = History View = {{:History View}} = Project View = {{:Project View}} = Verification View = {{:Verification View}} = Statistic...")
• 15:51, 15 June 2021 David Geleßus talk contribs created page Handbook/ProB 2 (Created page with "= ProB 2.0 Development = {{:ProB 2.0 Development}} = ProB 2.0 within Rodin and a HTML Visualization Example = {{:ProB 2.0 within Rodin and a HTML Visualization Exampl...")
• 15:49, 15 June 2021 David Geleßus talk contribs created page Handbook/Advanced Features (Created page with "= Bash Completion = {{:Bash Completion}} = Common Subexpression Elimination = {{:Common Subexpression Elimination}} = The ProB Search Path = {{:PROBPAT...")
• 15:46, 15 June 2021 David Geleßus talk contribs created page Handbook/Other Languages (Created page with "Also see the following tutorials: * Tutorial Rodin First Step * Tutorial Rodin Parameters * Tutorial Rodin Exporting * Tutorial Symbolic Constants * Tutoria...")
• 15:38, 15 June 2021 David Geleßus talk contribs created page Handbook/Command Line (Created page with "= ProB Cli = {{:ProB Cli}} = Using the Command-Line Version of ProB = {{:Using the Command-Line Version of ProB}}")
• 15:36, 15 June 2021 David Geleßus talk contribs created page Handbook/Visualisation (Created page with "__TOC__ = Graphical Viewer = {{:Graphical Viewer}} = State Space Visualization = {{:State Space Visualization}} = State space visualization examples = {{:State...")
• 15:31, 15 June 2021 David Geleßus talk contribs created page Handbook/Testing (Created page with "Also see Tutorial Model-Based Testing. = State Space Coverage Analyses = {{:State Space Coverage Analyses}} = Test Case Generation = {{:Test Case Generation}}")
• 15:23, 15 June 2021 David Geleßus talk contribs created page Handbook (Created page with "This page lets you read the wiki content in a more traditional '''handbook''' format. Each section linked below is a collection of wiki pages related to that topic, combined i...")
• 15:05, 15 June 2021 David Geleßus talk contribs created page Handbook/Validation (Created page with "Also see the following tutorials: * Tutorial First Model Checking * Tutorial Complete Model Checking * Tutorial Directed Model Checking * Tutorial Various Optim...")
• 11:50, 14 June 2021 David Geleßus talk contribs created page Handbook/B Language (Created page with "= Current Limitations = {{:Current Limitations}} = Summary of B Syntax = {{:Summary of B Syntax}} = Types = {{:Types}} = Deferred Sets = {{:Deferred Sets}}...")
• 11:50, 14 June 2021 David Geleßus talk contribs created page Handbook/Animation (Created page with "Also see the following tutorials: * Tutorial First Step * Tutorial Animation Tips * Tutorial Setup Phases * Tutorial Understanding the Complexity of B Animation...")
• 11:50, 14 June 2021 David Geleßus talk contribs created page Handbook/General (Created page with "__TOC__ = Installation = {{:Installation}} = Windows Installation Instructions = {{:Windows Installation Instructions}} = Editors for ProB = {{:Editors for ProB}}")
• 13:45, 28 May 2021 Michael Leuschel talk contribs created page Tutorial Tuning Model Checking (Created page with "Page is under construction == Reducing memory usage == You can try to reduce the memory consumption of ProB's model checker by setting the COMPRESSION preference to TRUE. Y...")
• 11:00, 18 May 2021 David Geleßus talk contribs moved page ProB2UI Release History to ProB2-UI Release History (Consistent spelling)
• 10:53, 18 May 2021 David Geleßus talk contribs moved page ProB2 JavaFX UI to ProB2-UI
• 06:27, 15 May 2021 Michael Leuschel talk contribs created page Caching Constants and Operations (Created page with "ProB can store the values of constants and operations in a cache file. Compared to [Memoization_for_Functions|memoization for functions], this caching is persistant across dif...")
• 08:53, 24 March 2021 Michael Leuschel talk contribs created page Reals and Floats (Created page with "ProB now supports the Atelier-B datatypes REAL and FLOAT. You can turn off this support via the preference ALLOW_REALS. Standard arithmetic operators can be applied to reals...")