Verification of the TESLA protocol in MCMAS-X.
Alessio LomuscioFranco RaimondiBozena WoznaPublished in: Fundam. Informaticae (2007)
Keyphrases
- model checker
- model checking
- formal verification
- formal methods
- temporal logic
- description language
- cryptographic protocols
- formal specification
- test suite
- protocol specification
- set theory
- coloured petri nets
- ai planning
- specification language
- formal analysis
- artificial intelligence
- lightweight
- formal proof
- electronic commerce
- tcp ip
- genetic algorithm
- neural network
- communication protocols
- verification method
- colored petri nets
- real time
- database