Projects

  Advanced Dcg — Andrea Boccacci

  Alchemist Language — Enrico Galassi

  Algebraic Petri Nets — Cristiana Casanova

  Binary Decision Diagrams — Andrea Leoni

  Framework per la simulazione e la valutazione di modelli CTMC utilizzando Maude e Approximate Probabilistic Model Checking — Daniele Bellavista

  Il set di tool GROOVE — Andrea Giulia Cialotti

  La Battaglia Navale — Alberto Pini

  Libreria per l'utilizzo di SPARQL in Prolog — Giuliano Santandrea

  MDP parzialmente osservabili — Francesca Cioffi

  Model Checker LTL — Manuel Bartolini  •  Luca Guerra

  Model checking per le reti di Petri colorate — Davide Galeotti

  Modellazione e analisi di un graph transformation systems mediante la tecnica dell'approximative unfolding e Augur 2 — Saverio Cicora

  PEPA — Enrico Polverelli

  Progetto Greatspn — Chiara Contoli

  Progetto metainterpreta Vanilla++ — Massimo Fornari

  RDFLibrary — Mattia Occhiuto

  Ticket To Ride — Denis Brighi  •  Luca Domeniconi

  Verify algorithms' properties with the MSR(C) prototype — Alessandro Bulzacchi

  aStoryEngine: Linguaggio e Interprete per Librigame — Andrea Arnoffi