Murphi code of MESI w/ Self-degradation & support for arbitrary network reordering.
-
Updated
Apr 8, 2021 - Objective-C
#
murphi
Here are 3 public repositories matching this topic...
Project for the Formal Methods In Software Development course at the University of "La Sapienza" in Master in Computer Science A.A. 2021/2022
-
Updated
Jun 20, 2022 - MATLAB
An embedding of the Murphi model checking language into Lean
-
Updated
Jun 15, 2024 - Lean
Improve this page
Add a description, image, and links to the murphi topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the murphi topic, visit your repo's landing page and select "manage topics."