Power and limitations of formal methods for software fabrication: Thirty years later. INF. 2017;41(3). Accessed November 15, 2025. https://puffbird.ijs.si/index.php/informatica/article/view/1534