Sentence examples for formal analysis techniques from inspiring English sources

Composing (formal) specifications, however, is a tedious and error-prone activity, and the scalability of existing formal analysis techniques is still an issue.

To that end, it first defines a generic framework, called Generic Quantitative Analysis Modeling (GQAM), which serves as a common basis for a variety of different formal analysis techniques.

In order to study the security of communication systems, we have developed a methodology for the application of the formal analysis techniques, commonly used in communication protocols, to the analysis of cryptographic protocols.

This paper describes the particular motivation for performance analysis in the domain of Enterprise Information Systems (EISs) and argues that the Model Driven Architecture (MDA) is a suitable framework for integrating formal analysis techniques with engineering methods appropriate to the domain.

Mathworks released Simulink Design Verifier [44], a tool that generates test values by the use of formal analysis techniques to achieve exhaustive evaluation of a Simulink model.

The design of the framework followed best practices in rigorous software engineering, namely well-established principles in the research field of consistency management, and relied on formal analysis techniques and tools for its validation and verification.

Goanna is based on formal software analysis techniques such as model checking, static analysis and SMT solving.

Aiming to address the cliques discovery from big graph, our recent work [66] adopted the formal concept analysis techniques and proposed a novel framework, called "cSketch" for identifying the cliques from big graphs.

In the area of PtDAs, the predominant approach has been to employ formal decision analysis techniques which quantifies patients' values and integrates them with probabilistic information [ 31- 33].

One important asset of formal decision analysis techniques is the possibility to assess the sensitivity of the evaluation results to possible changes in the preferences of the decision-maker or to uncertainties of expert judgements.

This will allow real-time processing of SAEs (after clinical review) to monitor incidence (utilising formal sequential analysis techniques), and interim safety analysis after a minimum of a given number of patients or period of time whichever occurs first.