This is a clear violation of our specifications, and we have terminated our relationship with them".
The decision, for example, does not foreclose lawsuits claiming that a device was made improperly, in violation of F.D.A. specifications.
If the model checking tool detects a violation of the specification, it will give out a counter-example that demonstrates how the specification is violated in the system.
For end user convenience, as aromatic bonds may occur widely in molfiles and SD files (in explicit violation of file format specification [21]), they are typically tolerated by inchi-1 executable, which itself performs a conversion; however, the success is not guaranteed.
The main loop of network pruning stops when no further reaction can be deleted without violation of any of the specifications (a - e).
This is technically in violation of the ATX-power-supply specification but has not proved to be a safety problem in practice, and is preferred by many people.
The first, an example in which an agent may fail to do something it is supposed to do, shows how we deal with violations of protocols and specifications generally.
Design by Contract, proposed by Meyer for the programming language Eiffel, is a technique that allows run-time checks of specification violation and their treatment during program execution.
This is called the specification, and building a complex software product without a clear, fixed set of specifications is impossible.
Software fault is an error situation of the software system that is caused by explicit and potential violation of security policies at runtime because of wrong specification and inappropriate development of configuration [2].
