verification server

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F27617793%3A_____%2F21%3AN0000006" target="_blank" >RIV/27617793:_____/21:N0000006 - isvavai.cz</a>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

čeština

Original language name

Verifikační server

Original language description

Verifikační server je nový softwarový nástroj umožňující využití nové metody verifikace software (automatizované formální verifikace). Verifikační server nabízí služby jednotlivých formálních nástrojů jako jsou DIVINE, Symbiotic a Testos verifikačnímu klientovi.

Czech name

Verifikační server

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

Verifikační server

Technical parameters

Server vyžaduje 172 MB místa na disku a je založen na technologiích Java, Lyo a OSLC, C++ a Proxygen. Odpovědi serveru na periodické požadavky jsou obvykle 1 až 3 sekundy (v závislosti na výkonu serveru, rychlosti síťového připojení a velikosti verifikovaného systému). Sever umožňuje nasadit všechny nejlepší nástroje pro formální verifikaci účastnící se softwarové soutěže SV COMP, zejména Symbiotic, DIVINE, CBMC, CPAChecker. Server je nasazen ve společnosti Honeywell International serverovně v Brně a na serveru VUT.

Economical parameters

Očekávané přínosy v případě nasazení do vývoje kritického softwaru jsou zejména v úspoře času díky automatizaci a tím i úspoře financí na vývoj nových produktů.

Owner IČO

—

Owner name

Honeywell International s.r.o., Red Hat Czech s.r.o., Masarykova univerzita, Vysoké učení technické v Brně