Protocol synthesis from timed and structured specifications.
Akio NakataTeruo HigashinoKenichi TaniguchiPublished in: ICNP (1995)
Keyphrases
- protocol specification
- colored petri nets
- petri net
- structured data
- finite state machines
- model checker
- state machines
- communication protocol
- program synthesis
- lightweight
- delay insensitive
- real world
- network protocols
- formal specification
- coloured petri nets
- written in natural language
- cryptographic protocols
- authentication protocol
- tcp ip
- real time
- discrete event
- formal analysis
- high level
- operational semantics
- formal verification
- digital libraries
- multi agent
- bayesian networks
- data sets