Advanced Analysis and Verification for Advanced Software
Public support
Provider
Czech Science Foundation
Programme
Standard projects
Call for proposals
SGA0202300001
Main participants
Vysoké učení technické v Brně / Fakulta informačních technologií
Contest type
VS - Public tender
Contract ID
23-06506S
Alternative language
Project name in Czech
Pokročilá analýza a verifikace pro pokročilý software
Annotation in Czech
S cílem pomoci vývojářům software vyrovnat se s jeho obrovskou a stále rostoucí složitostí se projekt zaměřuje na nové metody automatizované analýzy a verifikace pokročilého software, založeného na nízkoúrovňovém programování, moderních vysokoúrovňových přístupech či obojím. Projekt bude rozvíjet zejména metody založené na logice, jako je bi-abduktivní analýza nebo symbolické provádění, vhodně kombinované s přístupy, jako je abstraktní interpretace, „slicing“ či pokročilé typové systémy. Pro zefektivnění uvažovaných metod založených na logice budou rovněž vyvíjeny rozhodovací procedury pro různé uvažované logiky (např. separační logiku, kvantifikovanou bit-vektorovou logiku či Hornovy klauzule s omezeními). Mezi nízkoúrovňové programy, jež jsou cílem vyvíjených verifikačních metod, patří zejména programy využívající nízkoúrovňovou manipulaci s ukazateli a dynamickými datovými strukturami, zatímco mezi uvažované vysokoúrovňové programy patří programy založené na expertních systémech, vysokoúrovňové specifikace software či programy v moderních vysokoúrovňových jazycích, jako je Scala.
Scientific branches
R&D category
ZV - Basic research
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
—
OECD FORD - another secondary branch
—
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
Solution timeline
Realization period - beginning
Jan 1, 2023
Realization period - end
Dec 31, 2025
Project status
B - Running multi-year project
Latest support payment
May 16, 2023
Data delivery to CEP
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data delivery code
CEP24-GA0-GA-R
Data delivery date
Feb 19, 2024
Finance
Total approved costs
13,422 thou. CZK
Public financial support
11,139 thou. CZK
Other public sources
2,211 thou. CZK
Non public and foreign sources
0 thou. CZK