TLA+ model for CAS Exchange algorithm - Githubissues

cactusdynamics / cactus-rt

A C++ framework for programming real-time applications

Mozilla Public License 2.0

84 stars 19 forks source link

TLA+ model for CAS Exchange algorithm #79

Closed shuhaowu closed 3 months ago

shuhaowu commented 3 months ago

From https://youtu.be/PoZAo2Vikbo?t=297

Seems to work. Next up is to implement it into cactus_rt.