rossi

Here are 3 public repositories matching this topic...

Um projeto para usar Arduino em um portão eletrônico usando IoT

iot arduino esp8266 esp32 platformio blynk rossi

A curated list of awesome resources for the Event-B formal method.

awesome awesome-list formal-methods prob rodin event-b b-method rossi

GitHub Action to check Event-B models with rossi — validate, format check and static build, with inline annotations and SARIF upload to code scanning

continuous-integration ci static-analysis validator formal-methods sarif code-scanning rodin event-b eventb github-actions github-action rossi

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

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