/SafeGuards

A proof of concept for an event guard-handling system (à la SPIN Operating System) with conflict checks.

Primary LanguageC++

Stargazers

No one’s star this repository yet.