Formal Verification of Abstract System and Protocol Specifications.
Axel SchneiderThomas BluhmTobias RennerUlrich HeinkelJoachim KnäbleinReynaldo ZavalaPublished in: SEW (2006)
Keyphrases
- formal verification
- model checker
- coloured petri nets
- model checking
- bounded model checking
- automated verification
- symbolic model checking
- transition systems
- state machines
- cryptographic protocols
- program slicing
- temporal logic
- formal methods
- high level
- description language
- formal specification
- lightweight
- ai planning
- artificial intelligence