Difference between pages "Template:L witness" and "File:RodinWorkshop2021 Formal Verification of EULYNX Models Using Event-B and RODIN slides.pdf"

Latest revision as of 15:15, 15 June 2021

Formal Verification of EULYNX Models using Event-B and Rodin (Rodin Workshop 2021)

@@ Line 1: / Line 1: @@
-<noinclude>
+== Summary ==
-==Usage==
+Formal Verification of EULYNX Models using Event-B and Rodin (Rodin Workshop 2021)
-Template use to typeset a witness in an event-b listing.
-==Example==
-{{l_machine|AntiCollide}}
-{{l_refines|Safety}}
-{{l_sees|Network}}
-{{l_component|Acyclic}}
-{{l_Variables|v1}}
-{{l_variable|v2}}
-{{l_event|control}}
-{{l_witnessess}}
-{{l_witness|a}}
-{{l_end_event}}
-{{l_end}}
-[[Category:Listing templates]]
-==Template==
-</noinclude><!--
---><p class="typeset-l_witness">{{l_label|{{{1}}}}{{{2}}}</p>