Menu ▾ ▴

Tree [r2] /
 History

HTTPS svn://
HTTPS access

File Date Author Commit
 Adaptation 2008-09-04 dbu [r1] initial import
 Core 2008-09-04 dbu [r1] initial import
 Importer 2008-09-04 dbu [r1] initial import
 META-INF 2008-09-04 dbu [r1] initial import
 Verification 2008-09-04 dbu [r1] initial import
 LICENSE.txt 2008-09-26 dbu [r2] add missing information files and start script.
 README.txt 2008-09-26 dbu [r2] add missing information files and start script.
 build-commons.xml 2008-09-04 dbu [r1] initial import
 build.xml 2008-09-04 dbu [r1] initial import
 run.bat 2008-09-26 dbu [r2] add missing information files and start script.
 run.sh 2008-09-26 dbu [r2] add missing information files and start script.

Read Me

*********************************************************
* VeriNeC Project                                       *
*                                                       *
* telecommunications ##### n  research group            *
*           networks   #      university of fribourg    *
*           security   #   s  department of informatics *
*                                                       *
* Dr. Ulrich Ultes-Nitsche, uun@unifr.ch                *
* Dominik Jungo, dominik.jungo@unifr.ch                 *
* David Buchmann, david.buchmann@unifr.ch               *
*                                                       *
* http://diuf.unifr.ch/tns/                             *
*********************************************************

$Id: README.txt 354 2006-03-03 15:42:42 +0100 (Fri, 03 Mar 2006) buchmand $

TODO: Include description of the Verinec project.

Modules
* Core: Schemas, Code for repository, gui and utilities.
* Validation: Network simulation, verification of the network
* Adaption: Configure devices and import configuration
* Importer: Create Verinec definitions from existing network

* StudentProjects: Projects students are currently working on

See the subdirectories for more information about the modules.