Indrajit-hub/Sabotage-Game-For-A-Winning-Instance-Of-Traveler

Size: 18.6 KB - Last synced at: 28 days ago - Pushed at: 28 days ago - Stars: 0 - Forks: 0

se-buw/fm-playground

A Formal Method playground for limboole, Z3, nuXmv, Alloy, and Spectra

Language: TypeScript - Size: 103 MB - Last synced at: 29 days ago - Pushed at: 29 days ago - Stars: 11 - Forks: 3

TYehan/NuSMV-Practicals

Practical on concurrent system modeling and simulations using NuSMV. :Formal Methods and Software Verification module in University Final Year :SE

Language: Batchfile - Size: 5.86 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0

perpendicooler/SMV

Language: Jupyter Notebook - Size: 5.64 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

ggeraldina/mixing_machine

Установка для приготовления смесей. Программа и ее верификация для программируемого логического контроллера (2020г)

Size: 6.26 MB - Last synced at: about 1 year ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

rsharp-lang/SMV

X-ray images reader, the "Super Marty View" or SMV format.

Language: HTML - Size: 5.39 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

DFTF-PConsole/ATD-Projeto-Fourier-LEI-2022 📦

PUBLIC | FCTUC DEI/LEI 2021/2022 - Licenciatura em Engenharia Informática | ATD - Análise e Transformação de Dados | Projeto: "Smartphone-based Recognition Of Human Activities And Postural Transitions"

Language: HTML - Size: 78.6 MB - Last synced at: about 1 year ago - Pushed at: almost 2 years ago - Stars: 0 - 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 at: about 2 years ago - Pushed at: over 4 years ago - Stars: 3 - Forks: 0

Faaizz/smv_generator

Python program to generate SMV language for Signal Interpreted Petri Net (SIPN) model checking

Language: Jupyter Notebook - Size: 311 KB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

ever-guild/ever-smv-dao

[alpha] DAO with soft majority voting (SMV) on Everscale

Language: TypeScript - Size: 40 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 1

strobl-net/smv_suite

A complete Finance and Project Management Software for student groups used in some German schools

Language: Rust - Size: 510 KB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

Dodoveloper/netbill-nusmv

Size: 54.7 KB - Last synced at: about 19 hours ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0

wadoon/gedit-smv

gedit language support for SMV format (Symbolic Model Verifier)

Language: Shell - Size: 38.1 KB - Last synced at: about 1 year ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0