Keyphrases
- protocol specification
- model checker
- lightweight
- model checking
- state machines
- data visualization
- formal specification
- interactive visualization
- data analysis
- delay insensitive
- communication protocol
- formal verification
- coloured petri nets
- tcp ip
- finite state machines
- self organizing maps
- graphical user interface
- visual representation
- information visualization
- application layer
- key distribution
- formal methods
- communication protocols
- reactive systems
- temporal logic
- key agreement protocol
- network protocols
- end to end
- data mining