Beltsys Labs
Beltsys Labs
Solc Verify

Solc Verify

Solc Verify es la alternativa extendida al compilador mainstream de código Solidity, realiza verificación formal del …

Ethereum

Que es Solc Verify

Solc Verify es la alternativa extendida al compilador mainstream de código Solidity, realiza verificación formal del código junto con la compilación. Los desarrolladores pueden verificar la corrección funcional de sus smart contracts. Una tarea que necesitaría paquetes/toolchains extra si se hiciera con el compilador normal. ¡El proyecto ha sido forkeado más de 5k veces!

Las mejores herramientas de Dev Tools

Descubre mas aplicaciones web3 y herramientas para desarrolladores.

Ver todas las dApps →

Necesitas una solucion blockchain a medida?

Desarrollamos dApps, smart contracts y soluciones Web3 para startups y fintech.

Contacte con nosotros