Power and limitations of formal methods for software fabrication: Thirty years later. INF [Internet]. 2017 May 9 [cited 2025 Nov. 15];41(3). Available from: https://puffbird.ijs.si/index.php/informatica/article/view/1534