Modeling and Verification of TTCAN Startup Protocol Using Synchronous Calendar.
Indranil SahaSuman RoyKuntal ChakrabortyPublished in: SEFM (2007)
Keyphrases
- protocol specification
- colored petri nets
- communication protocols
- petri net
- formal verification
- formal proof
- model checker
- formal analysis
- coloured petri nets
- artificial intelligence
- modeling method
- network protocols
- communication protocol
- database
- modeling language
- lightweight
- multi agent systems
- case study
- data mining
- neural network
- data sets
- real time