Analysis of Formal Specifications written in SAT, SMT, Alloy, NuSMV.
-
Updated
May 30, 2024
Analysis of Formal Specifications written in SAT, SMT, Alloy, NuSMV.
A K8s operator for Mastodon, written in OCaml and model checked by NuSMV.
FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.
Il presente codice NuSMV modella un sistema RFID composto da 3 tag RFID e un reader RFID. L'obiettivo del sistema è gestire la collisione tra i tag quando più di uno risponde contemporaneamente al reader. Per risolvere questo problema, sono stati utilizzati metodi non deterministici.
Dockerfiles everywhere 🐳
Analyzing Transition Systems (Finite State Machines) With NuSMV
Progetto di Model Checker - Progetto presentato al il corso di laurea L31 a Urbino
Modeling of BeepBeep processors in NuSMV
The aim of this work is create a basic Implementation of "TruDaMul" framework and test it creating simple simulations; using "NuSMV" language.
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.
Solving the classic Ferryman problem via model-checking using NuSMV Modeller
Project done for my B.Tech course on Formal Methods for System Verification
Evrostos: The rLTL Verifier
Visual path-based counterexample explanation for NuSMV function block diagrams
Formal Methods in Software Development Project 2019/2020 - Generation of a controller for a game grid with obstacle and goal cell. The controller is generated by interrogating NuSMV as a blackbox and using the output appropriately.
Add a description, image, and links to the nusmv topic page so that developers can more easily learn about it.
To associate your repository with the nusmv topic, visit your repo's landing page and select "manage topics."