Sentence examples for satisfy specifications from inspiring English sources

When building such systems, programmers strive to provide evidence that their components and the interactions among them satisfy specifications.

Model checking is the best-known and most successful approach to formally verifying that systems satisfy specifications, expressed as temporal logic formulae.

A non-linear constraint optimisation problem is then developed to choose controller parameters in order to make the closed-loop system satisfy specifications and constraints.

The objective of this contribution is to discuss new research directions in experiment design, e.g. how to design informative experiments which satisfy specifications on the resulting model quality and practical limitations such as constraints on input and output signals, but also experimental time.

The produced SNG satisfies specifications required for network injection.

In assembled structures, each component satisfies specifications about material properties and dimensional tolerances.

After the model reaches a stable state, modifying it to knockout Notch or p21 allows to verify that the model also satisfies specifications H3, respectively H4.

There, instead of proving that each component satisfies its specification no matter how the other components behave, it sometimes suffices to prove that each component satisfies its specification provided that the other components satisfy their specifications.

If no execution of the system satisfies the specification, then it is impossible that any model including this cell can satisfy the specifications, no matter how the inter-cellular interactions are defined.

At this stage, if different controllers are obtained for each convex specification, they can be combined into a single controller using convex combination which could satisfy all specifications.

The design procedure to satisfy prescribed specifications is also discussed.