Difference between pages "Template:L witness" and "File:RodinWorkshop2021 Formal Verification of EULYNX Models Using Event-B and RODIN slides.pdf"
From Event-B
(Difference between pages)
Jump to navigationJump to searchimported>Mathieu m |
(Formal Verification of EULYNX Models using Event-B and Rodin (Rodin Workshop 2021)) |
||
Line 1: | Line 1: | ||
− | + | == Summary == | |
− | == | + | Formal Verification of EULYNX Models using Event-B and Rodin (Rodin Workshop 2021) |
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− |
Latest revision as of 15:15, 15 June 2021
Summary
Formal Verification of EULYNX Models using Event-B and Rodin (Rodin Workshop 2021)