Přístupnostní navigace
E-application
Search Search Close
Product detail
SMRČKA, A. VAŠÍČEK, O. FIEDOR, J. VOJNAR, T.
Product type
software
Abstract
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).
Keywords
Run-time verification, Dynamic Analysis, OSLC, Testos, Spectra, Anaconda, Unite, LTL verification, MTL verification, Data-race
Create date
22. 12. 2021
Location
https://pajda.fit.vutbr.cz/testos/testos-aufover/-/tree/v1.0
Possibilities of use
K využití výsledku jiným subjektem je vždy nutné nabytí licence
Licence fee
Poskytovatel licence na výsledek nepožaduje licenční poplatek
www