A Formal Method playground for limboole, Z3, nuXmv, Alloy, and Spectra
My master thesis on information flow control on a minimal version of the RISC-V architecture with a model checker
Maximum Spherical Mean Value for Shadow Reduction
Practical on concurrent system modeling and simulations using NuSMV. :Formal Methods and Software Verification module in University Final Year :SE
Установка для приготовления смесей. Программа и ее верификация для программируемого логического контроллера (2020г)
Python program to generate SMV language for Signal Interpreted Petri Net (SIPN) model checking
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"
gedit language support for SMV format (Symbolic Model Verifier)
Add a description, image, and links to the smv topic page so that developers can more easily learn about it.
To associate your repository with the smv topic, visit your repo's landing page and select "manage topics."