tool_lists

Coleção de links para:

• Ferramentas formais de métodos aqui.
• Librarias de software de diagrama de decisão binária (BDD) aqui.
• Pacotes para otimização convexa no Python aqui.

Na medida do possível, os autores renunciaram a todos os direitos autorais e direitos relacionados ou vizinhos a este texto. Para copiar condições, consulte o copying.txt, que é a dedicação do domínio público do CC0.