Pinned Repositories
15316-cmu.github.io
Course website for 15-316
adv_cpluplus_tuto
angulartuto
app_spam_classification
atividades_AnaliseAlgoritmos
Atividades de Análise de Algoritmos por Anny Caroline Walker Silva
depthk
K-Induction adopting program invariants
dotfilesvhb
EZProofC
This tool aims to automate the method proposed aims to automate the collection and manipulation of counterexamples in order to instantiate a C program for proving the root cause of the identified error. Such method may be seen as a complementary technique for the verification performed by Bounded Model Checkers.
FORTES
This tool aims to automate the FORTES method that aims to automate to extract the safety properties from C code generated by ESBMC to generate automatically testcases using the assertions, in this case adopting the CUnit Framework Unit Test.
Map2Check
Map2Check: Finding Software Vulnerabilities
hbgit's Repositories
hbgit/Map2Check
Map2Check: Finding Software Vulnerabilities
hbgit/depthk
K-Induction adopting program invariants
hbgit/EZProofC
This tool aims to automate the method proposed aims to automate the collection and manipulation of counterexamples in order to instantiate a C program for proving the root cause of the identified error. Such method may be seen as a complementary technique for the verification performed by Bounded Model Checkers.
hbgit/app_spam_classification
hbgit/atividades_AnaliseAlgoritmos
Atividades de Análise de Algoritmos por Anny Caroline Walker Silva
hbgit/base_image_map2check
This repository has the base image to build map2check
hbgit/benchexecrun
hbgit/flutter_a_z
The goal is trying different flutter features, and apply CI/CD using github actions.
hbgit/framac-learn
Tutorials hpw to use Frama-C for software verification
hbgit/GSoC-TensorFlow-2019
Google Summer of Code 2019 with TensorFlow: Final Work Product
hbgit/hbgit
My GitHub profile
hbgit/hbgit.github.io
Personal Website
hbgit/imalloca-site
hbgit/livemalocatest
Respositorio de teste da LIve Maloca
hbgit/llvm-docker-dev
Docker LLVM Image
hbgit/llvm_tuto
Samples with LLVM
hbgit/machinelearn_tuto
Machine Learning Tutorial
hbgit/maloca-turma-ufrr-2023
Este é repositório do projeto Maloca das iCoisas da Turma de entrada em 2023
hbgit/map2check-library
C library to support Map2Check Tool
hbgit/metaSMT
hbgit/my_toy_compiler
My Toy Compiler. Read about how I did it at the homepage URL
hbgit/nodejssample
hbgit/OBPP2023
Um repo de teste.
hbgit/obpp23
Estudando git na obpp23.
hbgit/Program-Slicing_PIC
exploring program slicing and documenting my discoveries using Frama-c Tool
hbgit/qplant
App QPlant
hbgit/redmine
Mirror of redmine code source - Official SVN repository is at https://svn.redmine.org/redmine - contact: @jbbarth or jeanbaptiste.barth (at) gmail (dot) com
hbgit/tryone.github.io
hbgit/tutotensorflow
hbgit/walletstockanalysis