Vutbrmsr .NET class library

Czech title

Vutbrmsr .NET knihovna tříd

Type

software

License

no - free

Authors

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

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.

Projects

Design and implementation of embedded formal verification assistants in the .NET framework (MS1412001)

Research groups

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