Torres D, Cortéz J, González R. Semi?formal specifications and formal verification improving the digital design: some statistics. JART [Internet]. 2009 Apr. 1 [cited 2024 Apr. 25];7(01). Available from: https://jart.icat.unam.mx/index.php/jart/article/view/498