Artículo.
formales directamente [14, 15]. El enfoque completo se implementa en mbeddr [19] 1, un entorno de desarrollo integrado (IDE) y una pila de código abierto de lenguajes específicos de dominio (DSL) sobre C para ayudar al desarrollo del código C de seguridad crítica. Para delinear nuestro enfoque de