rebeca

There are 0 repository under rebeca topic.

• sarmadiali98 / LinguaFranca-to-Rebeca

  Lingua Franca codes and their equivalent Rebeca code

  rebecasoftware-verificationlinguafranca
  1

• 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.

  concurrencyformal-verificationmodel-checkingactor-modelctldistributed-systemsltlmutual-exclusionnusmvrebecatemporal-logictransition-systemsmissionary-cannibal
  Language:C++ 0

• steinar / tokenring

  Djikstra's self-stabilizing token ring, in an asynchronous system, verified using Rebeca.

  asynchronousdistributed-systemsmodel-checkingrebeca
  0

• hadisfr / rebeca-simple-noc

  A Project for Formal Methods in Software Engineering F97 at UT using Rebeca (http://rebeca-lang.org/) - mirror of https://gitlab.com/hadi_sfr/rebeca-simple-noc

  formal-verificationnocrebeca

• rebecarolinax / vhub_group

  This repository is related to the “Vital Hub” project, a system developed by group three for managing medical appointments. The API was developed using the CodeFirst approach and incorporates the React Native library.

  catarinahubrebecavital
  Language:JavaScript