Menu
▾
▴
Tree [r2] / History
| 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.
