Artículo.
tema de análisis integra diferentes herramientas de análisis externo. Además de la integración de una herramienta per se, el análisis se refiere a las DSL para definir los arneses de verificación, que son específicas de la herramienta de verificación. En niveles más altos, los usuarios de mbeddr