Please enable JavaScript.
Coggle requires JavaScript to display documents.
Visualização no ProB - Coggle Diagram
Visualização no ProB
Visualização Gráfica Customizada
ANIMATION_FUNCTION
ANIMATION_IMG
ANIMATION_STR
Grid
Interações
Visualizador Gráfico
Uso de GraphViz
FormatoDot
Dotty vs Visualizador PostScript
Configuração de Caminhos e Comandos
Visualização do Espaço de Estados
Tipos de Nós
Root
Current
Normal
Open
Violação de Invariante
Meta
Projeções
Diagrama de Transição
Signature-Merge
DFE Reduced Statespace
Subgrafos de Invariantes e Meta
Caminho mais curto