English to Russian Tech/Engineering Computers: Software validation and verificati

Добрый день!
Помогите, пожалуйста, перевести rigorous в следующем контексте:


Formal analysis uses rigorous mathematical proof techniques to analyze the algorithms or properties of the software. It can provide a strong conclusion regarding certain properties of an approach, but it is limited by the dif culty of its application and the general scarcity of automated support. Formal techniques generally require both a formal speci cation and a formal implementation. For example, the correctness of a natural, English-language requirement could not be proven. Certain assertions could be drawn from the requirement though, and proved to satisfy a set of conditions, thereby increasing the con dence that could be placed in the requirements for those conditions. Formal analysis is frequently used to verify sections of a speci cation that handle security requirements.

Заранее спасибо!