Formal verification of Anderson mutual exclusion protocol by introducing an auxiliary variable (S).
Naoki AsaeDuong Dinh TranKazuhiro OgataPublished in: SEKE (2021)
Keyphrases
- formal verification
- mutual exclusion
- coloured petri nets
- model checker
- long distance
- model checking
- cryptographic protocols
- planning domains
- bounded model checking
- temporal planning
- automated verification
- symbolic model checking
- program slicing
- temporal logic
- multi agent systems
- software architecture
- test suite
- formal methods
- information retrieval
- lightweight
- general purpose