Produção técnica

Software

Ferramentas desenvolvidas pelo grupo e-Controls, registradas na produção técnica dos currículos Lattes. Onde há repositório público, os metadados vêm do GitHub.

4SOFTWARES

4COM REPOSITÓRIO

Ferramentas

Softwares do grupo

DSVerifier - Digital Systems Verifier

2015 · Apache-2.0 · 4 estrelas

Repositório

ESBMC

The efficient SMT-based context-bounded model checker (ESBMC)

2009 · 540 estrelas

automated-testing · automated-verification · bmc · c · cheri

Repositório Site

ETC for DC Converters

This repository contains the final course project entitled “Event-Based Control of DC-DC Converters Connected to Constant Power Loads”

3 estrelas

buck-converter · event-triggered-control · microgrids

Repositório

Sim3Tanks

A Benchmark Model Simulator for Process Control and Monitoring

2018 · MIT · 13 estrelas

Repositório