Automation of Formal Verification
Public support
Provider
Technology Agency of the Czech Republic
Programme
Programme of applied research and experimental development EPSILON
Call for proposals
EPSILON 4 (STA02018TH040)
Main participants
Honeywell International s.r.o.
Contest type
VS - Public tender
Contract ID
TH04010192 - Smlouva o poskytnutí podpory
Alternative language
Project name in Czech
Automatizace formální verifikace
Annotation in Czech
Cílem projektu AUtomatizace FOrmální VERifikace (AUFOVER) je vývoj automatizovaných formálních verifikačních nástrojů a jejich integrace pro průmyslové využití. V rámci projektu budou vyvinuty nebo vylepšeny nástroje: Verifikační server, Klientská aplikace verifikačního serveru, Scmock pluginy, DIVINE, Symbiotic a Testos. Účelem podpory je umožnit dokončení vývoje univerzitních nástrojů založených na formálních matematických metodách a jejich transfer do komerčního prostředí včetně integrace s nástroji využívanými u průmyslových partnerů a zavedení těchto nástrojů do procesů verifikace software komerčních projektů. Na konci projektu se očekává prokázání vlivu zavedení formální verifikace do životního cyklu vývoje software v komerčním prostředí partnerů projektu Red Hat a Honeywell.
Scientific branches
R&D category
VV - Exeperimental development
OECD FORD - main branch
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
OECD FORD - secondary branch
20304 - Aerospace engineering
OECD FORD - another secondary branch
10102 - Applied mathematics
CEP - equivalent branches <br>(according to the <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">converter</a>)
AF - Documentation, librarianship, work with information<br>BC - Theory and management systems<br>BD - Information theory<br>IN - Informatics<br>JU - Aeronautics, aerodynamics, aeroplanes<br>JV - Cosmic technologies
Completed project evaluation
Provider evaluation
U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)
Project results evaluation
These are preliminary data, the project evaluation hasn´t proceeded yet.
Solution timeline
Realization period - beginning
Jan 1, 2019
Realization period - end
Dec 31, 2021
Project status
U - Finished project
Latest support payment
Feb 28, 2021
Data delivery to CEP
Confidentiality
C - Předmět řešení projektu podléhá obchodnímu tajemství (§ 504 Občanského zákoníku), ale název projektu, cíle projektu a u ukončeného nebo zastaveného projektu zhodnocení výsledku řešení projektu (údaje P03, P04, P15, P19, P29, PN8) dodané do CEP, jsou upraveny tak, aby byly zveřejnitelné.
Data delivery code
CEP22-TA0-TH-U
Data delivery date
Jun 30, 2022
Finance
Total approved costs
27,914 thou. CZK
Public financial support
16,376 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
11,830 thou. CZK