Однажды у меня была дискуссия о безопасности в цикле разработки программного обеспечения нашего проекта с коллегой. Потом я вспомнил тему, над которой работал в старые времена, которая была мне очень интересна. Поскольку я большой поклонник математики, я очень хорошо это помнил, речь шла о создании оценщика предикатов для инструмента, используемого в B-методе. Тогда в Б или не в Б? Давайте погрузимся в Б-метод вместе. Что это может быть? Б-метод — это не получение нектара из..