Linguaggi e Modelli Computazionali L-M 2011/2012

    Principale     Novità     Software     Laboratorio     Orario     Progetti     Esami

Home Software Lab Sessions



Maude

Framework for system modelling based on rewriting logic.

Latest version: 2.6 (Core Maude)


tuProlog

Java-based Prolog engine that will be adopted throughout the course.


JDK and API docs

Java Development Kit for developing Java applications.


Eclipse

Integrated developed environment adopted for the course.

Latest version available here


PRISM

Framework for probabilistic model checking.

Latest version: 4.0.1




software / pagine dei corsi
serie di corsi