Search results

[[Category:Components]]

[[Category:Components]] ...uses views with embedded Eclipse SWT browsers to access the user interface components that are shipped with the [[ProB Java API]] library.

[[Category:Components]]

[[Category:Components]]

...esis possibly lacks for performance compared to using the exact library of components that is necessary to synthesize a program. To that effect, the user is also ...t we want to use a specific library of components only and add the desired components using their names. For instance, we want to create a component library usin

[[Category:Components]]

''distb'' consists of three components. ...LD_LIBRARY_PATH variable to find the ZeroMQ libraries beforehand (for all components):

...ld then select the ProB for Rodin update site, and then select the various components of ProB as shown below.

...ntaining the views but be aware that this might ruin the ability to detach components.

[[Category:Components]]

...all of the information about the refinement chain and all of the different components (Machines, Contexts, Invariants, Variables, etc.).

...el checking algorithm of ProB is based on searching for strongly connected components (SCCs) with certain properties to determine whether ''M'' satisfies ''f''. LTL (fairness): 0 strongly connected components were rejected, 0 callbacks needed.

To identify the components (like state, initialization, operations) ProZ tries to identify components. So, it is recommended to use schema definitions instead of abbreviation de

...</tt>: providing access to <tt>SCCS</tt> to compute the strongly connected components of a relation and <tt>CLOSURE1</tt> an alternative algorithm for compting t

KODKOD_ONLY_FULL = true : bool ==> Translate only complete components to KODKOD ...TITION_PROPERTIES = true : bool ==> Partition predicates (PROPERTIES) into components

...nents: a menu bar, a list box and a tab pane. In the following each of the components and their corresponding functionalities are thoroughly described.

...ines, constants, variables, invariants, events, etc. A model is a graph of components and their relationship. Except for Graph handling there are no shared metho

** TLA+ tuples are translated as sequences in B, hence all components of the tuple must have the same type

...ail approach to formalizing standard interfaces between signalling systems components, Belli et al.] <i>"ProB has been selected as the second target of the forma

avoiding spurious WD errors in predicate components and real operators (such as RSQRT, RPOW) - external predicate SCCS for computing strongly connected components