Testos-Aufover - Verification as a Service

Název česky

Testos-Aufover - Verifikace jako služba

Typ

software

Licence

vyžadována - zdarma

Autoři

Fiedor Jan, Ing., Ph.D. (UITS FIT VUT)
Smrčka Aleš, Ing., Ph.D. (UITS FIT VUT)
Vašíček Ondřej, Ing. (UITS FIT VUT)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)

Popis

Projekt integruje nástroje dynamické analýzy vyvíjené výzkumnou skupinou VeriFIT (VUT v Brně). Cílem software je poskytovat služby analyzačních nástrojů v jednotném standardním rozhraní OSLC. Produkt se skládá z nástrojů Testos-Spectra, Anaconda a Unite. Umožňuje však také analýzu nástrojem Valgrind a dalšími (např. Infer, který je sice ve službě konfigurován, ale není kvůli nekompatibilitě licencí zdrojovými soubory zahrnut).

Umístění

https://pajda.fit.vutbr.cz/testos/testos-aufover/-/tree/v1.0

Licence

Licenční podmínky v souladu s licení BSD-3-Clause dostupné na https://opensource.org/licenses/BSD-3-Clause

Projekty

Automatizace formální verifikace (TH04010192)

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)