Available Documentation. The internals of the relevance filter plug-in and the process of fine tuning are documented in ▇. ▇▇▇▇▇'▇ Master thesis.[6] • A rigorous specification of Event-B's logic (for Rodin developers) and a reference document containing the definitions of built-in symbols (for Rodin developers and users) can be found in "The logic of Event-B" report.[10] • The specification of the Improved ▇▇ ▇▇▇▇▇ Generation [14] is available from the Rodin Wiki.
Appears in 2 contracts
Sources: Grant Agreement, Grant Agreement