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 MODULESTo faciltate loading of modules you should first write:
module add /home/tcslab/modules/tcslabTCSLAB modules (e.g. prog/cwb) can now be loaded simply by giving the command:
module add prog/cwbAlternatively it is always possible to load a module with an absolute path:
module add /home/tcslab/modules/prog/cwb
A Concurrent, object oriented, logic, functional, constraint language.... Local documentation.CPN
Colored Petri NetsEsterel
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
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.
Symbolic model checker for CTL.SPIN
An LTL model checker.
Page responsible: Ulf Nilsson
Last updated: 2012-05-07