Data

Tools

Indexes

Applications

Experiments

Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub / 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.

JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/joulook%2FVerification-of-Reactive-Systems-Spring-2021

Stars: 0
Forks: 0
Open issues: 0

License: None
Language: C++
Size: 1.18 MB
Dependencies parsed at: Pending

Created at: almost 3 years ago
Updated at: almost 3 years ago
Pushed at: almost 3 years ago
Last synced at: over 1 year ago

Topics: actor-model, concurrency, ctl, distributed-systems, formal-verification, ltl, missionary-cannibal, model-checking, mutual-exclusion, nusmv, rebeca, temporal-logic, transition-systems

    Loading...