smv

There are 0 repository under smv topic.

• felixlinker / ifc-rv-thesis

  My master thesis on information flow control on a minimal version of the RISC-V architecture with a model checker

  formal-methodsformal-verificationinformation-flow-controlinformation-flow-trackingmodel-checkingnusmvnuxmvrisc-vsmv
  Language:TeX 4

• ArthurSudbrackIbarra / Trab2-Metodos-Formais

  Trabalho 2 de Métodos Formais.

  automataformal-methodsnuxmvsmv
  1

• ever-guild / ever-smv-dao

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

  everscaledaosmv
  Language:TypeScript 1
• ATD-Projeto-Fourier-LEI-2022

  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"

  fctucfourierleistftaccelerometerdftfftsmvpostural-orientationsignal-magnitude-vectorhuman-activity-recognitionjupyter-notebookmatlab
  Language:HTML 0

• ggeraldina / mixing_machine

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

  smvlogic-controllerprogrammable-logic-controller
  0

• strobl-net / smv_suite

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

  financesmv
  Language:Rust 0

• Dodoveloper / netbill-nusmv

  smvmodel-checkingnusmv

• Faaizz / smv_generator

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

  smvpetri-netspythontddtdd-python
  Language:Jupyter Notebook

• rsharp-lang / SMV

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

  r-sharpsmvx-ray
  Language:HTML

• wadoon / gedit-smv

  gedit language support for SMV format (Symbolic Model Verifier)

  gedit-syntaxsmv
  Language:Shell