Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub topics: nusmv
mbeddr/mbeddr.formal
FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.
Language: JetBrains MPS - Size: 135 MB - Last synced: 5 days ago - Pushed: 6 days ago - Stars: 23 - Forks: 15
paytonshafer/CS458-Formal-Methods-for-Program-Verification
CS458 at Clarkson University Spring 24
Language: SMT - Size: 383 KB - Last synced: 4 days ago - Pushed: 6 days ago - Stars: 0 - Forks: 0
ushitora-anqou/mahout
A K8s operator for Mastodon, written in OCaml and model checked by NuSMV.
Language: OCaml - Size: 1.05 MB - Last synced: 22 days ago - Pushed: about 1 month ago - Stars: 0 - Forks: 0
PatrickShaw/University-FIT3013-LiftSystemModel
A model checking specification written in NuSMV that specifies a model of a single lift elevator system.
Language: Batchfile - Size: 261 KB - Last synced: about 1 month ago - Pushed: about 7 years ago - Stars: 0 - Forks: 0
itsPinguiz/Progetto_LPVS
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.
Size: 12.7 KB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 0 - Forks: 0
badouralix/dockerfiles
Dockerfiles everywhere :whale:
Language: Dockerfile - Size: 200 KB - Last synced: 22 days ago - Pushed: 8 months ago - Stars: 24 - Forks: 5
DavyOcean/p.v.t.-assignments-i
Assignment files for the course Program Verification Techniques. Reports are on Overleaf.
Language: C - Size: 545 KB - Last synced: 5 months ago - Pushed: 5 months ago - Stars: 0 - Forks: 0
R0mb0/TruDaMul_FrameWork_Simulations
The aim of this work is create a basic Implementation of "TruDaMul" framework and test it creating simple simulations; using "NuSMV" language.
Language: TeX - Size: 4.22 MB - Last synced: 21 days ago - Pushed: over 1 year ago - Stars: 1 - Forks: 0
trong0dn/NuSMV-model-checker
Analyzing Transition Systems (Finite State Machines) With NuSMV
Language: C - Size: 12.1 MB - Last synced: 10 months ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0
felixlinker/smvtrcviz
Transform XML traces generated by nuXmv or NuSMV into a html table
Language: Clojure - Size: 24.4 KB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 1 - Forks: 0
felixlinker/ifc-rv-thesis
My master thesis on information flow control on a minimal version of the RISC-V architecture with a model checker
Language: TeX - Size: 2.11 MB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 3 - Forks: 0
LucaGrasso/LPVS----Model-Checker-di-una-BlockChain
Progetto di Model Checker - Progetto presentato al il corso di laurea L31 a Urbino
Size: 269 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0
StasyanOi/dijkstra-semaphore-nusmv
Using NUSMV to check a model of a semaphore
Language: C - Size: 15.4 MB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0
sgomber/traffic-controller-NuSMV
Project done for my B.Tech course on Formal Methods for System Verification
Size: 354 KB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 5 - Forks: 0
liflab/symbolic-beepbeep
Modeling of BeepBeep processors in NuSMV
Language: Java - Size: 398 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0
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.
Language: C++ - Size: 1.18 MB - Last synced: 6 months ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0
tzanis-anevlavis/evrostos
Evrostos: The rLTL Verifier
Language: C - Size: 10.8 MB - Last synced: 2 months ago - Pushed: over 2 years ago - Stars: 3 - Forks: 1
thedhruvrawat/ferryman
Solving the classic Ferryman problem via model-checking using NuSMV Modeller
Size: 2.02 MB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0
igor-buzhinsky/modchk-to-spin
Converter of function block models from NuSMV to Promela (SPIN)
Language: Java - Size: 645 KB - Last synced: about 1 year ago - Pushed: almost 7 years ago - Stars: 1 - Forks: 0
ShakeAnApple/cxbacktracker
Visual path-based counterexample explanation for NuSMV function block diagrams
Language: Java - Size: 246 MB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0
xdanielsb/model-checking
Some scripts to learn NuSMV
Size: 4.88 KB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0
thiagoyeds/elevador Fork of wineone/Elevador-logica
Project of Logic discipline (2018.2)
Size: 2.25 MB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0
auotomaton/office-robot
NuSMV model for a carrier office robot
Size: 3.91 KB - Last synced: 11 months ago - Pushed: over 5 years ago - Stars: 0 - Forks: 1
amitnndn/nusmv-model-verification
NuSMV Examples for Software Model Verification
Size: 8.79 KB - Last synced: about 1 month ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0
marcelo140/landing-system
First project of Specification and Modelation (EM) - using NuSMV to model a landing system
Size: 19.5 KB - Last synced: about 1 year ago - Pushed: over 6 years ago - Stars: 0 - Forks: 1
Dodoveloper/netbill-nusmv
Size: 54.7 KB - Last synced: about 1 year ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0