Vutbrmsr .NET class library

Czech title

Vutbrmsr .NET knihovna tříd

Type

software

License

Use of the result by another entity is possible without acquiring a license (the result is not licensed)

License Fee

The licensor does not require a license fee for the result

Authors

Ryšavý Ondřej, doc. Ing., Ph.D. (DIFS)

Keywords

ROTOR/.NET framework, class library, verification algorithms and data structures

Description

The software project implementes the basic and extendible infrastructure for verification algorithms and data structures. It targets Microsoft ROTOR/.NET framework. Design and implementation of the library is driven by algorithm-oriented branch of generic programming approach in order to meet the maximal effectiveness and reusability of the implemented components.

Location

https://www.fit.vut.cz/research/product/18/

Projects

Specifický výzkum, BUT, Vnitřní projekty VUT, SV, 2005-2009, completed

Research groups

NES@FIT - Networks and distributed systems research group (RG NES@FIT)

Departments

Department of Information Systems (DIFS)