Linguaggi e Modelli Computazionali L-M 2011/2012

    Main     News     Software     Lab     Schedule     Projects     Exams

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 / course pages
course series