Sentence examples for verifying the behaviour of from inspiring English sources

Test-driven development not only provide a method for verifying the behaviour of existing software-it also provides examples of typical use cases for anyone using CML.

To choose just one example, from computer science, the calculi that Prior developed in response to the idea that the Master Argument is defeated if time is conceived as branching into the future have become useful for describing and verifying the behaviour of concurrent and distributed processing systems.

They were evaluated through characterization and monitoring test programs to verify the behaviour of recovered materials (aggregates, water, and slurry).

The monitor nodes can verify the behaviour of every nodes by timed automata, and validly detect real-time attacks without signatures of intrusion or trained data.

Thus, the algorithms were evaluated for the task of obtaining all frequent itemsets, carrying out successive executions for different values of minimum support, in order to verify the behaviour of the proposals against the variation of this measure of interest.

We were initially surprised by the results of our simulations, and so verified the behaviour of the mechanism by manually running the algorithm for a smaller number of users and virtual machines, on a spreadsheet model.

There are many probiotic cheese varieties available on the market and it is essential to verify the behaviour and the performance of the microbial cultures in this environment.

Furthermore, we detected the formation of two distinct conductivity states: a high (0) and a low (1), verifying the bistable behaviour of our memory.

In conclusion, it was verified that the behaviour of masonry beams is greatly affected by the boundary conditions and geometry, as expected.

The properties that guarantee the desired behaviour of the mechanisms are specified as temporal logic formulae; the JACK model-checker is then used to verify that the behaviour of the mechanisms satisfy such properties also in the presence of faults.

Further simulations were performed to verify that the behaviour of the coupled models was equally consistent.