-
English
-
Russian
-
German
-
English
-
Russian
-
German
Coverability
Translation of "coverability" into Russian
coverability
Noun
coverability
coverabilities pl
The coverability of the surface was tested with different materials.
Покрываемость поверхности была протестирована с различными материалами.
Definitions
coverability
Noun
The quality or state of being able to be covered, coated, or concealed.
The paint's high coverability meant we needed only one coat.
In mathematics and computer science, especially in Petri-net theory, the property that a configuration or state can be covered or represented by another state satisfying specified rules or constraints.
Researchers studied the coverability of the Petri net to determine whether the target marking could be reached.
Idioms and phrases
coverability analysis
Coverability analysis is essential in verifying Petri nets.
анализ укрываемости / анализ достижимости покрытия
Анализ укрываемости важен при верификации сетей Петри.
test for coverability
We need to perform a test for coverability in this model.
тест на укрываемость
Нам нужно провести тест на укрываемость в этой модели.
coverability set
Researchers calculated the coverability set of the system.
множество укрываемости
Исследователи рассчитали множество укрываемости системы.
coverability tree
The coverability tree helps visualize possible markings in Petri nets.
дерево укрываемости
Дерево укрываемости помогает визуализировать возможные маркировки в сетях Петри.
proof of coverability
They provided a proof of coverability for their protocol.
доказательство укрываемости
Они предоставили доказательство укрываемости для своего протокола.