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.
distributed-systems
actor-model
concurrency
ltl
temporal-logic
model-checking
ctl
formal-verification
transition-systems
nusmv
mutual-exclusion
rebeca
missionary-cannibal
-
Updated
Aug 9, 2022 - C++