Testos-Aufover - Verification as a Service

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F21%3APR36214" target="_blank" >RIV/00216305:26230/21:PR36214 - isvavai.cz</a>

Result on the web

<a href="https://pajda.fit.vutbr.cz/testos/testos-aufover/-/tree/v1.0" target="_blank" >https://pajda.fit.vutbr.cz/testos/testos-aufover/-/tree/v1.0</a>

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

Testos-Aufover - Verification as a Service

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

Czech name

—

Czech description

—

Type

R - Software

CEP classification

—

OECD FORD branch

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Project

<a href="/en/project/TH04010192" target="_blank" >TH04010192: Automation of Formal Verification</a><br>

Continuities

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Publication year

2021

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Internal product ID

Testos-Aufover

Technical parameters

Software je volně dostupný včetně zdrojových textů. Pro informace o licenčních podmínkách prosím kontaktujte: Výzkumné centrum informačních technologií, Fakulta informačních technologií VUT v Brně, Božetěchova 2, 612 66 Brno, vcit@fit.vut.cz

Economical parameters

Software je volně dostupný včetně zdrojových textů.

Owner IČO

00216305

Owner name

Vysoké učení technické v Brně