Beltsys Labs
Beltsys Labs
KEVM

KEVM

El modelo y tutorial basado en el framework K de Runtime Verification Inc para ayudar a escribir pruebas personalizadas …

Ethereum

Que es KEVM

El modelo y tutorial basado en el framework K de Runtime Verification Inc para ayudar a escribir pruebas personalizadas desde un lenguaje y entorno que despliegas y mantienes. Los desarrolladores pueden crear pruebas con más control de la semántica del framework subyacente. El conocimiento práctico del framework K o sus implementaciones es un prerrequisito.

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