Sentence examples for complex specification from inspiring English sources

My work tackles this challenge through the design of synthesis-friendly program verification mechanisms, which are able to check a large set of candidate programs against a complex specification at once, whereby efficiently pruning the search space.

By comparing the specification to its JML counterpart, we show that the use of assertion aspects clarifies the large, complex specification and greatly simplifies each assertion in the specification.

We started from a consideration that we took to count in favour of our action, and we have ended with a complex specification of something that plays rather a different role.

Still, we might say, eventually ingenuity will give out, and we will reach a (now very complex) specification of a reason to which we can think of no appropriate counter-example.

These qualifiers refer to a soil characteristic that indicates a particular water regime, soil solution or groundwater chemistry, exchange complex specification, weak soil development or morphological characteristics.

It is found that a more complex specification in which a three-equation system is considered in which the additional regression is given by a schooling equation is statistically fragile.

This demand has sparked the interest in symbolic control where lower complexity models of control systems are used to cater for complex specifications given by temporal logics, regular languages, or automata.

Offerings must command a high margin, must be globally consistent or compatible, must meet complex specifications across borders, or must be supplied to an integrated transnational operation in a carefully coordinated fashion.

Temporal logic specifications can capture the usual control specifications such as reachability and invariance as well as more complex specifications like sequencing and obstacle avoidance.

These results are helpful for summarizing overall outcomes, before proceeding to more complex specifications.

And rather than simply meeting performance standards, the rockets must conform to strict and complex specifications.