ну как бы в 99,99% это нафиг ненужный оверхэд. Новую прошивку в проц засунуть слегка сложнее, чем эти ваши докеры. Поэтому и нет нигде такой верификации. Разве что в скада-системах и чём-нить сильно эмбедед
Круть в том, чтобы применить именно там, где есть смысл. Ну и применить -- не два пальца об асфальт. Для этого команды из экспертов мирового уровня (в области верификации) требуются.