Result: A Novel Approach for Specification and Verification of Symmetric Distributed Algorithms Using SPIN
Title:
A Novel Approach for Specification and Verification of Symmetric Distributed Algorithms Using SPIN
Authors:
Source:
2024 Third International Conference on Distributed Computing and High Performance Computing (DCHPC). :1-9
Publisher Information:
IEEE, 2024.
Publication Year:
2024
Document Type:
Academic journal
Article
DOI:
10.1109/dchpc60845.2024.10454070
Rights:
STM Policy #29
Accession Number:
edsair.doi...........ec99cd84ed16db77b07dcce21a99d852
Database:
OpenAIRE