Tools - Emanuele D'Osualdo

A Safety verifier fOr The ERlang language: a fully-automatic program analyser and verifier for Erlang modules.

A prototype implementation for a type system inferring properties of the communication topology of π‑calculus programs.

A visual simulator for π‑calculus programs written in JavaScript and D3.js.

An inductive invariant inference/checking tool for cryptographic protocols with unbounded sessions

Sublime Text 3 plugin for searching and editing your Evernote note collection.

A plugin for Sublime Text 3 that allows you to browse and fetch citation entries from dblp.org.

An agent computing model that simulates the individual dynamics of firms and workers in the labor market.

Other plugins for Sublime Text 3 I maintain.

A package for multi-author documents commenting.