A Project for Formal Methods in Software Engineering F97 at UT using Rebeca (http://rebeca-lang.org/) - mirror of https://gitlab.com/hadi_sfr/rebeca-simple-noc
-
Updated
Feb 21, 2019
A Project for Formal Methods in Software Engineering F97 at UT using Rebeca (http://rebeca-lang.org/) - mirror of https://gitlab.com/hadi_sfr/rebeca-simple-noc
In this repository you can find all of my projects for Verification of Reactive Systems Course when I was in 2nd semester of my master's at SUT.
Djikstra's self-stabilizing token ring, in an asynchronous system, verified using Rebeca.
Add a description, image, and links to the rebeca topic page so that developers can more easily learn about it.
To associate your repository with the rebeca topic, visit your repo's landing page and select "manage topics."