https://www.hillelwayne.com/post/why-dont-people-use-formal-methods/ Потому-что сложно. Требует крутых знаний и подготовки -- дорого. Только über-критичные вещи ещё наверное можно подумать.