Descrição
Sistemas de software confiáveis podem ser modelados e desenvolvidos com métodos rigorosos Event-B. É para engenheiros e pesquisadores que usam fluxos de especificação formal e verificação.
FICHA · AUR
rodin
Ferramenta Event-B para software confiável
- Event-B development tool
- Interface gráfica
- FORMAL-METHODS
- Desenvolvimento
- Abre direto
codex · reviewed · 4 de jun. de 2026 descrição em
pt-br · fallback Como rodar
rodin
Comandos: rodin
Permissões
Permissões ainda não analisadas para esta fonte.