"formally check" is correct and usable in written English.
You can use it when referring to an official or thorough examination of something, such as "We will need to formally check all of the customer's orders before they can be shipped out."
This paper proposes a method to formally check whether formal properties hold on a dynamic model which has been designed by experts for Model Based Safety Analysis/Assessment.
We use simulation and model checking [ 13], which allows to formally check all the different executions of the model against a formal specification.
CTLC also includes a fulfillment operator which helps formally check the compliance with business contracts and specify the system recovery.
In this work we present an automatic technique based on geometrical program modeling to formally check the functional equivalence of initial and transformed programs under loop and data reuse transformations.
It allows the designer to formally check a given implementation for a specific bit-width, in addition to define the word-length to properly represent numeric data.
The Hosmer-Lemeshow test [ 19] may also be used to formally check goodness of fit.
The configuration of selected system components and contexts can be formally checked at the specification level.
The stability is then formally checked relying on the natural oscillatory behaviour of the system, and the corresponding results are illustrated in simulation.
Each step can be formally checked, and by making different design choices at each refinement step, diversity is introduced that can improve fault tolerance.
Validation is the disciplined practice of formally checking that the end result of the design process still matches up correctly to the original requirements as defined at each step.
The idea in this paper is not to check a specific PLC program but to add at the end of the PLC program, a specific algorithm based on Boolean safety constraints (designed and formally checked by the expert) which is going to authorize or forbid the PLC outputs in order to guarantee the safety.
