#

missionary-cannibal

Here is 1 public repository matching this topic...

joulook / Verification-of-Reactive-Systems-Spring-2021

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++

Improve this page

Add a description, image, and links to the missionary-cannibal topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the missionary-cannibal topic, visit your repo's landing page and select "manage topics."