Search results
From Event-B
Jump to navigationJump to searchCreate the page "Proof patterns" on this wiki! See also the page found with your search.
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