TCSLAB COMPUTE SERVER

Members of TCSLAB can use the compute server Brutalix, a Sun V20z with dual Opteron 250 processors and 4 GB RAM, running Linux. Login into your usual home directory with your usual user name and password at brutalix.ida.liu.se.

The server is intended for computationally heavy jobs; not for running X applications etc. For the moment the usage-policy is "use with sense".


LAPTOP AND PROJECTOR

There is a laptop and a computer projector which can be booked in advance through Madeleine. Remember to ask for username and password for the laptop and remember to return to Madeleine!!!


TCSLAB FTP AREA

No information yet.


TCSLAB MODULES

To faciltate loading of modules you should first write:
    module add /home/tcslab/modules/tcslab
TCSLAB modules (e.g. prog/cwb) can now be loaded simply by giving the command:
    module add prog/cwb
Alternatively it is always possible to load a module with an absolute path:
    module add /home/tcslab/modules/prog/cwb

TCSLAB SYSTEMS

Oz/Mozart

A Concurrent, object oriented, logic, functional, constraint language.... Local documentation.

CPN

Colored Petri Nets

Esterel 

Synchronous language

CWB-NC

Concurrency Workbench of North Carolina (or New Century). A modeling and verification tool supporting models in e.g. variants of CCS, CSP and Lotus and specifications in the modal mu-calculus and CTL. First load the module

    prog/cwb 

Then start the system with the command

    cwb-nc LANG [-gui] 

where LANG is one of the supported design notations (e.g. ccs). Local documentation is available here.

HyTech 

A hybrid model checker. Local documentation

SICStus Prolog 

(Almost) ISO complient Prolog system. 

XSB Prolog 

A logic programming/deductive database system with tabulation. Manuals

CHIP 5 
Constraint logic programming system (no longer supported). Local documentation.

SMV 

Symbolic model checker for CTL. 

SPIN 

An LTL model checker. 


Page responsible: Ulf Nilsson
Last updated: 2012-05-07