Testos-Aufover - Verification as a Service

Czech title

Testos-Aufover - Verifikace jako služba

Type

software

License

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

License Fee

The licensor does not require a license fee for the result

Authors

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

Keywords

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

Description

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

Location

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

License Conditions

Licence BSD-3-Clause available here: https://opensource.org/licenses/BSD-3-Clause

Projects

Automation of Formal Verification, TAČR, Program na podporu aplikovaného výzkumu a experimentálního vývoje EPSILON (2015-2025), TH04010192, 2019-2021, completed

Research groups

Automated Analysis and Verification Research Group - VeriFIT (RG VERIFIT)

Departments

Department of Intelligent Systems (DITS)