Основы логистики
Le critère de l'efficacité de la vérification peut servir, par exemple, un critère probabiliste temporel, cependant, les difficultés pratiques d'appliquer ces critères qui augmentent lorsque la complexité du système vérifié doit être à l'esprit.