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

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

Trabalho 2 de Métodos Formais.

gedit language support for SMV format (Symbolic Model Verifier)

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

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

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

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