Modelling and Formal Verification of the NEO Protocol.
Christine ChoppyAnna DedovaSami EvangelistaKais KlaiLaure PetrucciSamir YoucefPublished in: Trans. Petri Nets Other Model. Concurr. (2012)
Keyphrases
- formal verification
- coloured petri nets
- model checker
- model checking
- cryptographic protocols
- symbolic model checking
- bounded model checking
- automated verification
- temporal logic
- functional verification
- description language
- tcp ip
- security protocols
- formal analysis
- formal methods
- program slicing
- formal specification