Detail výsledku

Testos-Aufover - Verification as a Service

Vznik: 2021
Typ
software
Jazyk
anglicky
Autoři
Smrčka Aleš, Ing., Ph.D., UITS (FIT)
Vašíček Ondřej, Ing., UITS (FIT)
Fiedor Jan, Ing., Ph.D., UITS (FIT)
Vojnar Tomáš, prof. Ing., Ph.D., UITS (FIT)
Popis

The project integrates dynamic analysis tools developed by VeriFIT research group (Brno University of Technology) as a web service via standard OSLC interface. The service consists of Testos-Spectra, ANaConDA, and Unite. It also enables analysis done by Valgrind and other tools (e.g., Infer which is configured in the service but not included in the source codes due to licenses incompatibility).

Klíčová slova

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

URL
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
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, zahájení: 2019-01-01, ukončení: 2021-12-31, ukončen
Výzkumné skupiny
Výzkumná skupina automatizované analýzy a verifikace - VeriFIT (VZ VERIFIT)
Pracoviště
Ústav inteligentních systémů (UITS)
Nahoru