A Formal Method playground for limboole, Z3, nuXmv, Alloy, Spectra, Dafny, and more...
Maximum spherical mean value (mSMV) for residual background field artifact reduction
Open-source IEC 61850 engineering workstation for MMS, reporting, GOOSE, file transfer, Sampled Values, SCL, diagnostics, and Smart Control.
My master thesis on information flow control on a minimal version of the RISC-V architecture with a model checker
Practical on concurrent system modeling and simulations using NuSMV. :Formal Methods and Software Verification module in University Final Year :SE
Scan ERP open-source garment toolkit — 8 production-tested npm + PyPI packages for piece-rate, SMV, AQL, DHU, line efficiency, fabric consumption, CMT cost, and bundle IDs. MIT licensed.
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"
Python program to generate SMV language for Signal Interpreted Petri Net (SIPN) model checking
Установка для приготовления смесей. Программа и ее верификация для программируемого логического контроллера (2020г)
Sewing line efficiency calculator — efficiency %, target output, required workers, line balance (npm + PyPI).
gedit language support for SMV format (Symbolic Model Verifier)
Master's Thesis: Formal Modeling and Verification of a Sectional Railway Interlocking System using NUXMV Symbolic Model Checker
To associate your repository with the smv topic, visit your repo's landing page and select "manage topics."