Product detail

Vutbrmsr .NET class library

RYŠAVÝ, O.

Product type

software

Abstract

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.

Keywords

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

Create date

1. 9. 2005

Location

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

Possibilities of use

Využití výsledku jiným subjektem je možné bez nabytí licence (výsledek není licencován)

Licence fee

Poskytovatel licence na výsledek nepožaduje licenční poplatek

www

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