У меня ощущение, что, когда говорят verification за пределами пузыря, в реальности чаще всего речь идёт о чем-то вроде misra c.

Мочевого?

Кажется, что разные люди в разных пузырях подразумевают разные словосочетания со словом verification.

Ну типа

Нет никакого "за пределами пузыря"

Context-free шутейки всегда актуальны

где вариант "Я казах" ?

Amogus

В целом пересечение есть. Многие отрасли промышленности сильно зарегулированны (и не зря надо сказать). Сейчас стандарты на процессы разработки и верификации (в широком смысле) софта в отраслях типа ж/д, авиации, медтехники, всяких там атомных станций часто рекоменедуют, а иногда и предписывают, использование различных формальных методов. В основном это какой-нибудь модель-чекинг, статанализаторы. Но и вещи типа дедуктивной верификации / пруверы постепенно проникают в эти стандарты.

читаемость класс

Солидарен

Данке. А где, кстати, можно отслеживать новости по летней школе?

А вот тут есть канал в телеге: https://t.me/lalambdaschool

если не понимаешь _совсем_, значит, совсем мискоммьюникейшен большой, не переплыть. сожалею.

дело давно к этому шло, ещё в прошлый твой лив после 2к сообщений подустал.

тогда промолчал - ливнул человек, сжёг мосты, наговорил сгоряча лишнего, бывает

мосты отношений между людьми, Дима

Из хаскель, кстати, тоже

У тебя друзья воображаемые появились?