Applied result detail

Testos-Aufover - Verification as a Service

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

Original Title

Testos-Aufover - Verification as a Service

English Title

Testos-Aufover - Verification as a Service

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

Abstract in English

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

Key words in English

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

Location

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

Licence fee

In order to use the result by another entity, it is always necessary to acquire a license

www

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