Search results
From Event-B
Jump to navigationJump to searchCreate the page "W:HTML" on this wiki! See also the page found with your search.
- ...the environment of the Rodin toolset and is available as a PDF version, a HTML version, and help contents within Rodin. Both the Rodin handbook and the Ev ...is that adequacy of the system description must be justified, meaning that W ∧ S ⇒ R. The approach establishes a traceability, and the resulting sys20 KB (3,030 words) - 13:18, 18 July 2012