Sentence examples for based on formal methods from inspiring English sources

Embedded systems require safe design methods based on formal methods, as well as safe execution based on fault-tolerance techniques.

During recent years, some research [2 8] has been proposed in the literature to form a digital investigation process based on formal methods, theories, and principles.

Indeed, the design of DoRiS was strongly based on formal methods, where the TLA+ language and its associated model-checker TLC were the supporting design tool.

A tool-supported approach that aims at integrated models of different concerns based on formal methods is suggested to solve this problem.

This paper presents the design and implementation of CD-Form (Clone Detector based on FORmal Methods), a tool targeted at the detection of Type-2 clones in Java code.

If based on formal methods, they can also serve for enabling the early verification of various properties such as component coordination and for guiding the synthesis of code correct by construction.

The proposed verification methodology is based on formal verification methods.

We present a different approach to modelling this pathway based on formal computational methods.

The originality of this process is the formal verification of the service interoperability basing on formal methods and tools, especially Colored Petri Nets (CPNs) and Timed CPNs formal specification languages, and model checking and simulation techniques.

This paper proposes an integrated approach, based on formal graph-based models and methods, to handle both of these tasks.

Using a method based on formal logic, we show that both lock-key and goalkeeper-model are consistent with existing data.