Detail aplikovaného výsledku

Testos-Aufover - Verification as a Service

SMRČKA, A.; VAŠÍČEK, O.; FIEDOR, J.; VOJNAR, T.

Originální název

Testos-Aufover - Verification as a Service

Anglický název

Testos-Aufover - Verification as a Service

Druh

Software

Abstrakt

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).

Abstrakt aglicky

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

Klíčová slova anglicky

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

Umístění

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

Licenční poplatek

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

www