SMT visualizer

Incolla BrokerStateMachine e StateMachine. La pagina estrae stati, input event, output function e transizioni, poi genera un diagramma leggibile con layout automatico e nodi trascinabili.

Broker XML

Apri il file o modifica il contenuto in una finestra dedicata.

Nessun contenuto caricato.

Kernel XML

Apri il file o modifica il contenuto in una finestra dedicata.

Nessun contenuto caricato.

impostazioni

mostra self-loop mostra output

mostra nomi eventi mostra transazioni

mostra i nodi raggiungibili discendenti al passaggio del mouse su un nodo

mostra stati non raggiungibili

spaziatura nodi

100%

validazione semantica

in attesa

Carica Broker XML e Kernel XML per vedere i controlli strutturali della macchina.

Nessuna macchina caricata

MODALITA' MODIFICA

Incolla i due XML o apri i file corrispondenti.

100%

Broker XML

Finestra trascinabile e ridimensionabile.

Kernel XML

Finestra trascinabile e ridimensionabile.

Nessuna macchina caricata

Modalita modifica

Broker XML

Kernel XML

Conferma cancellazione