Horacio Lisdero Scaffino

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

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

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

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

lola. Unofficial mirror of the model checker LoLA