tool_lists

Colección de enlaces a:

• Herramientas de métodos formales aquí.
• Diagrama de decisión binaria (BDD) Bibliotecas de software aquí.
• Paquetes para la optimización convexa en Python aquí.

En la medida de lo posible bajo la ley, los autores han renunciado a todos los derechos de autor y derechos relacionados o vecinos de este texto. Para las condiciones de copia, consulte Copy.txt, que es la dedicación del dominio público CC0.