Sentence examples for translating specifications from inspiring English sources

In this paper, we present generic algorithms for translating specifications from BSDM into CSP, illustrate how they can be formally verified using FDR and summarise an industrial case-study.

Refinement by interpretation replaces signature morphisms by logic interpretations as a means to translate specifications and witness refinements.

A method of translating optimal specifications from a higher level of an hierarchy to a lower level, has been proposed.

The tool uses the SAL language to create an intermediate model, by converting the Simulink model into a formal model of finite states, translating the specifications and the high level testing requirements into formal properties by the use of linear temporal logic (LTL).

The approach is based on translating the specification and the scenarios into an event-based logic programming formalism and using a non-monotonic reasoning system, called eXtended Hybrid Abductive Inductive Learning, to automatically infer a set of event pre-conditions and trigger-conditions that cover all desirable scenarios and reject all undesirable ones.

A built-in translator tool translates the specification into an Esterel program for the purpose of carrying out verification.

We provide an algorithm to translate ASM specifications to a SAT problem instance.

Transmission system design requires careful attention to each impairment, because requirements on penalties usually translate into specifications on the components that the system is built out of, which in turn translate into system cost.

Transmission system design requires careful attention to each impairment because requirements on penalties usually translate into specifications on the components that the system is built out of, which in turn translate to system cost.

His wife produces molds and cast pieces as well as doing much of the gold leafing; his daughter translates the specifications of the job into English; his son, now 27, runs the company; and Irene Anthou, his son's fiancee, joins them in the studio each day.

We propose new architectures by translating the DNS specifications to hardware form through the "Specification and Description Language" (SDL) tool.