Diego Garbervetsky garbervetsky

I'm a associated Professor at the Computer Science Departement at the University of Buenos Aires.

Achievements

ERC-Verisol-Demo ERC-Verisol-Demo Public

Simple demo showing to use Verisol and Veriman for checking an ERC20 implementation

3 2
curso-smartcontracts-publico curso-smartcontracts-publico Public

Material público para alumnos

TypeScript 3 4
analysis-net analysis-net Public

Forked from edgardozoppi/analysis-net

Static analysis framework for .NET programs.

C# 2 2
orleans orleans Public

Forked from dotnet/orleans

Orleans - Distributed Virtual Actor Model

C#
bytecodetranslator bytecodetranslator Public

Forked from lleraromero/bytecodetranslator

C#
corral corral Public

Forked from boogie-org/corral

solver for the reachability modulo theories problem

C#

Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.

There was an error while loading. Please reload this page.