Avatar for Bruno Farias from gravatar.com

Bruno Farias

Username    bfarias
Date joined   Joined

1 project

ethcheck

Last released

A Python tool for verifying Ethereum Consensus Specification using ESBMC

Supported by

AWS Cloud computing and Security Sponsor Datadog Monitoring Depot Continuous Integration Fastly CDN Google Download Analytics Pingdom Monitoring Sentry Error logging StatusPage Status page