Bibliographic Details
| Title: |
Proofs about Network Communication: For Humans and Machines |
| Authors: |
Jeltsch, Wolfgang, Díaz, Javier |
| Source: |
EPTCS 383, 2023, pp. 1-14 |
| Publication Year: |
2023 |
| Collection: |
Computer Science |
| Subject Terms: |
Computer Science - Logic in Computer Science, Computer Science - Distributed, Parallel, and Cluster Computing, C.2.4, F.3.1 |
| More Details: |
Many concurrent and distributed systems are safety-critical and therefore have to provide a high degree of assurance. Important properties of such systems are frequently proved on the specification level, but implementations typically deviate from specifications for practical reasons. Machine-checked proofs of bisimilarity statements are often useful for guaranteeing that properties of specifications carry over to implementations. In this paper, we present a way of conducting such proofs with a focus on network communication. The proofs resulting from our approach are not just machine-checked but also intelligible for humans.
Comment: In Proceedings ICE 2023, arXiv:2308.08920 |
| Document Type: |
Working Paper |
| DOI: |
10.4204/EPTCS.383.1 |
| Access URL: |
http://arxiv.org/abs/2308.10652 |
| Accession Number: |
edsarx.2308.10652 |
| Database: |
arXiv |
