Testos-Aufover - Verification as a Service
Identifikátory výsledku
Kód výsledku v 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>
Výsledek na webu
<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
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Testos-Aufover - Verification as a Service
Popis výsledku v původním jazyce
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).
Název v anglickém jazyce
Testos-Aufover - Verification as a Service
Popis výsledku anglicky
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).
Klasifikace
Druh
R - Software
CEP obor
—
OECD FORD obor
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Návaznosti výsledku
Projekt
<a href="/cs/project/TH04010192" target="_blank" >TH04010192: Automatizace formální verifikace</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Ostatní
Rok uplatnění
2021
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Interní identifikační kód produktu
Testos-Aufover
Technické parametry
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
Ekonomické parametry
Software je volně dostupný včetně zdrojových textů.
IČO vlastníka výsledku
00216305
Název vlastníka
Vysoké učení technické v Brně