Linguaggi e Modelli Computazionali L-M 2010/2011

Main

News

Software

Lab

Schedule

Projects

Exams

Home Software Lab Sessions 

Software

Maude

Framework for system modelling based on rewriting logic.

Latest version: 2.5 (Core Maude)

• Download link: http://maude.cs.uiuc.edu/download/

tuProlog

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

• Download link: 2p-2.2beta-20081112.jar
• API: JavaDoc
• User's Guide: pdf

JDK 6.0

Java Development Kit for developing Java applications.

• Download link: (JDK 6.0 Update 21): http://www.oracle.com/technetwork/java/javase/downloads/index.html

Java (v. 6) API

Application Program Interface of the JDK.

• Download link: JavaDoc 6

Eclipse

Integrated developed environment adopted for the course.

Latest version: 3.6.1

• Download link: http://www.eclipse.org/downloads/

PRISM

Framework for probabilistic model checking.

Latest version: 3.3.1

• Download link: http://www.prismmodelchecker.org/download.php

---