ValerioMedeiros

Valério Medeiros Jr.'s repositories

BEval

BEval is a tool to systematize the evaluation of B expressions from AtelierB using the different parameters with ProB.

Language:Java200

b2asm

Using B to model instruction sets of micro-controllers (Automatically exported from code.google.com/p/b2asm)

Language:TeX100

Control-Systems-of-Launch

Sistema de controle de lançamento

MIT100

suapi

Clientes para acesso à API do SUAP

Language:Python100

Adafruit-Fingerprint-Sensor-Library

Arduino library for interfacing to the fingerprint sensor in the Adafruit shop

Language:C++NOASSERTION000

b2llvm

Language:TeX000

BioTec

A descrição deste projeto está em desenvolvimento. Um dos objetivos é inserir tecnologias embarcadas na criação de peixes e plantas.

MIT000

bitnami-docker-moodle

Bitnami Docker Image for Moodle

Language:ShellNOASSERTION000

BTestBox

A test code generator for B method

Language:Nextflow000

elevator-simulator

Language:JavaScriptEPL-1.0000

jplag

JPlag - Detecting Software Plagiarism

Language:JavaGPL-3.0000

LancadorSuapJs

Este script tem o objetivo de realizar o preenchimento de notas.

Language:JavaScriptMIT000

marana-vitoria.github.io

Ecologia Já

Language:HTML000

mulheresdeatenas2

Language:JavaScriptNOASSERTION000

prob

The ProB Model Checker and Animator

Language:Java000

ProBConsolePython

Language:Java000

progit

Pro Git Book Content, 1st Edition - See 2nd edition at progit2

Language:Ruby000

ProgramacaoWebII

Códigos utilizados no semestre 2016.1

Language:Python000

TAP_2019_BTestBox_LNCS

Language:TeX000