Testos-Aufover - Verification as a Service

Název česky

Testos-Aufover - Verifikace jako služba

Typ

software

Licence

K využití výsledku jiným subjektem je vždy nutné nabytí licence

Licenční poplatek

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

Autoři

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

Klíčová slova

Run-time verification, Dynamic Analysis, OSLC, Testos, Spectra, Anaconda, Unite, LTL verification, MTL verification, Data-race

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

Licenční podmínky

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, TAČR, Program na podporu aplikovaného výzkumu a experimentálního vývoje EPSILON (2015-2025), TH04010192, 2019-2021, ukončen

Výzkumné skupiny

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

Pracoviště

Ústav inteligentních systémů (UITS)