|
TCSLAB COMPUTE SERVERMembers 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 PROJECTORThere 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 AREANo 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 TCSLAB SYSTEMSOz/Mozart
A Concurrent, object oriented, logic, functional, constraint language.... Local documentation. CPNColored Petri Nets EsterelSynchronous language CWB-NCConcurrency 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. HyTechA hybrid model checker. Local documentation. SICStus Prolog(Almost) ISO complient Prolog system. XSB PrologA logic programming/deductive database system with tabulation. Manuals. CHIP 5 SMV
Symbolic model checker for CTL. SPINAn LTL model checker. |
Page responsible: Ulf Nilsson
Last updated: 2012-05-07