RacerF, Version 1.0

Název česky

RacerF, verze 1.0

Typ

software

Licence

vyžadována - zdarma

Autoři

Dacík Tomáš, Ing. (UITS FIT VUT)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)

Klíčová slova

Statická analýza, paralelní programy, vícevláknové programy, souběh nad daty, Frama-C, zásuvný modul.

Popis

RacerF verze 1.0 je první verzí zásuvného modulu pro platformu Frama-C, jenž implementuje statický analyzátor pro detekci potenciálních souběhů nad daty v paralelních programech v jazyce C využívajících vlákna z knihovny pthreads.

Umístění

https://github.com/TDacik/Deadlock/releases/tag/racer-v1.0

Licence

Volně šiřitelný software poskytovaný pod MIT licencí (přesné znění licence je dostupné na stránce https://opensource.org/licenses/MIT).

Projekty

Rámec klíčových technologií umožňujících bezpečné a autonomní aplikace dronů (8A19003)

Výzkumné skupiny

Výzkumná skupina automatizované analýzy a verifikace - VeriFIT (VZ VERIFIT)

Pracoviště

Ústav inteligentních systémů FIT VUT v Brně (UITS FIT VUT)