Sentence examples for a formal specification of from inspiring English sources

See [18], Section 5.3 for a formal specification of this assumption.

Thus, refinement-based verification of the Score processor begins with a formal specification of Java bytecode.

This paper presents a formal specification of the idiotypic network theory viewed as an agent architecture.

Monitoring and checking is performed based on a formal specification of system requirements.

A formal specification of the coordination protocols is represented using an Input / Output Automata model.

We present a formal specification of QuePED and describe its application to database designs.

The B method provides a formal specification and rigorous analysis of the functionality and behavior of a system.

This paper extends the work published in [22] by refining the neurologically inspired agent model with more realistic simulation results, new scenarios and a detailed formal specification of the model, together with a more sophisticated parameter estimation methodology.

We have presented a quantitative formal specification of the Na,K-pump, based on a set of elementary reactions.

The input of our tool consists of a formal specification written in algorithmic style which gives the behaviour system and the functional description of the transformation algorithm.

We present a quantitative formal specification of the pump mechanism in the PRISM language, taking into consideration a discrete chemistry approach and the Law of Mass Action aspects.