Computational Models and Languages L-M, Lab

Home Software Lab Sessions 

Software



Maude

Framework for system modelling based on rewriting logic.


tuProlog

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


JDK 6.0

Java Development Kit for developing Java applications.


Java (v. 6) API

Application Program Interface of the JDK.


Eclipse

Integrated developed environment adopted for the course.


PRISM

Framework for probabilistic model checking.


SPiM

Framework for simulating stochastic systems modeled by Stochastic Pi-Calculus.