Event-B: End-to-End Verification of Distributed Systems

Please refer to the README.pdf.

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
.github/workflows		.github/workflows
document		document
igloo-isabelle @ 7f8297d		igloo-isabelle @ 7f8297d
mirror-afp-2023 @ ae905e4		mirror-afp-2023 @ ae905e4
.gitignore		.gitignore
.gitmodules		.gitmodules
EventB.thy		EventB.thy
Leader_Election.thy		Leader_Election.thy
README.md		README.md
README.pdf		README.pdf
ROOT		ROOT
ROOTS		ROOTS
Ring_network.thy		Ring_network.thy
eventb.ML		eventb.ML

Provide feedback