Outros Materiais
Verificação de Programas
Software
- Dafny online
- Github
- Install with VSCODE (or Emacs)
- Emacs- mode (boogie-friends)
- Extensão do VSCODE
- Dafny webpage
- Dafny Quick Reference
- Github Online Tutorial
- Dafny Cheat Page
- Dafny Quick Reference (II)
- Dafny Manual Reference
- Tutorial para a escrita de programas em Dafny
- Github
- Install with VSCODE (or Emacs)
- Emacs- mode (boogie-friends)
- Extensão do VSCODE
- Dafny webpage
- Dafny Quick Reference
- Github Online Tutorial
- Dafny Cheat Page
- Dafny Quick Reference (II)
- Dafny Manual Reference
- Tutorial para a escrita de programas em Dafny
Verificação de sistemas reactivos - Model Checking