Pinned
Repositories
Showing 10 of 11 repositories
-
- lustreexperiments Public
- pragmaticpatterns Public
-
-
- simulinkexperiments Public
This repo contains scripts and instructions to run experiments for the Simulink frontend
- smtlectures Public
A collection of slides of the SMT course I held at University of Milan in fall 2011