CSL-Tools

  •        0

CSL-Tools is a standalone set of Perl scripts and configuration files designed to ease creation and maintenance of a Linux-based Computer Systems Laboratory involving multiple architectures of both clients and servers.

http://csl-tools.sourceforge.net

Tags
Implementation
License
Platform

   




Related Projects

Gosam - generator of simple atomistic models


gosam is a bunch of Python scripts that can: create monocrystal in PBC box (atomistic model), create bicrystals with coincidence site lattice (CSL) boundaries in PBC box, create crystalline grains of given shape, with vacancies, thermal vibrations, etc. read/write several file formats (AtomEye cfg, VASP POSCAR, LAMMPS, DL_POLY, XMOL XYZ). Dependencies: Python and numpy. graingen.py also requires the qhull program. Installation: Just download the content of http://gosam.googlecode.com/svn/trunk/,

Ymer - Probabilistic model checker


Ymer is a tool for verifying probabilistic properties of continuous-time Markov chains (CTMCs) and generalized semi-Markov processes (GSMPs). Properties are expressed using the Continuous Stochastic Logic (CSL). The current stable version is 3.0.8. Version 4.0 is an experimental version with support for unbounded until, but with some features removed or disabled. In particular, distributed sampling does not work in version 4.0. Unless you need to verify properties with unbounded until, you are b

aconty-csl


Personal common C tools (C standard library)