Search results

From Event-B
Jump to navigationJump to search

Create the page "Proof" on this wiki! See also the search results found.

Page title matches

Page text matches

  • File:Contention-po.jpg
    Proof obligations for contention
    (293 × 183 (50 KB)) - 20:49, 30 April 2020
  • File:Interface po.png
    Interface proof obligations as they appear in the project explorer.
    (282 × 410 (14 KB)) - 20:50, 30 April 2020
  • File:ProofStatus.png
    ...y diagram showing relationships between the classes/interfaces involved in proof status management.
    (884 × 675 (26 KB)) - 20:50, 30 April 2020
  • File:ProofTree.png
    ...y diagram showing relationships between the classes/interfaces involved in proof tree management.
    (858 × 660 (27 KB)) - 20:50, 30 April 2020
  • File:ShowRuleDetailsView.png
    The command available after a right click on a proof tree node.
    (284 × 144 (16 KB)) - 20:50, 30 April 2020
  • File:Operation po.png
    Working with a proof obligation generated from an action using an operation call.
    (776 × 390 (30 KB)) - 20:50, 30 April 2020
  • File:PO Commands.png
    - Proof Replay on Undischarged POs
    (468 × 656 (31 KB)) - 20:49, 30 April 2020
  • File:RodinWorkshopPresentation.pdf
    ...signs about defects in the models, so that through this feedback (unproven proof obligations, counter-examples, etc.) we can suggest potential improvements
    (1.02 MB) - 20:50, 30 April 2020
Retrieved from ‘https://wiki.event-b.org/index.php/Special:Search’