Sentence examples for specifying and verifying from inspiring English sources

Specifying and Verifying Data Structure Invariants.

Formal techniques for specifying and verifying Software Product Lines (SPL) are actively studied.

This paper addresses several types of potential conflicts and consistency properties with a systematic and rigorous approach: graph theory, network flow technology and colored Petri nets are applied for specifying and verifying a secure interoperation design.

In this work we present several simple model transformations and a multirate extension of the PALS pattern which can be combined to reduce the design and verification of a virtually synchronous multirate DRTS to the much simpler task of specifying and verifying a single synchronous system.

The Spin model checker is a widely used professional software tool for specifying and verifying concurrent and distributed systems.

Open problems will be discussed, some concerning the logical foundations, some concerning the challenges of specifying and verifying software.

A prototype has also been implemented, and the system has been formally specified and verified.

Efficient methods of analysis are required to specify and verify such DI systems.

This work proposes an approach to specify and verify map-centered applications.

It shows how epistemic logic supplements temporal and other formal systems designed to specify and verify concurrent programs.

In fact, it is rather a yearly failure rate that has to be specified and verified and not a failure probability for an arbitrary reference time.