Horacio Lisdero Scaffino

Advanced
@hlisdero

cargo-check-deadlock. Find deadlocks in Rust code with Petri net model checking

59

netcrab. netcrab: A tool suite for creating, visualizing and analizing Petri-Nets made in Rust

6

thesis. Undergraduate thesis for the study program "Ingeniería en Informática" at the Universidad de Buenos Aires

2

portal2D. TP final de Taller de Programación I: juego Portal en 2D

1

lola. Unofficial mirror of the model checker LoLA

1
5
Apply