Verification and Analysis of Probabilistic Programs
Public support
Provider
Czech Science Foundation
Programme
Junior Grants
Call for proposals
Juniorské granty 5 (SGA0201900002)
Main participants
Masarykova univerzita / Fakulta informatiky
Contest type
VS - Public tender
Contract ID
19-15134Y
Alternative language
Project name in Czech
Verifikace a analýza pravděpodobnostních programů
Annotation in Czech
Pravděpodobnostní programy (PP) jsou programy napsané v některém z univerzálních programovacích jazyků obohaceném o pravděpodobnostní instrukce, např. o náhodné přiřazení hodnot proměnným dle dané distribuce. PP jsou využívány v různorodých oblastech, ke kterým patří strojové učení, počítačová bezpečnost či analýza síťových systémů. Abychom mohli zajistit, že systémy vyvíjené v těchto oblastech budou bezpečné a spolehlivé, je nutné vyvinout techniky pro jejich automatickou verifikaci, které musí pokrývat i verifikaci pravděpodobnostních programů. Cílem tohoto projektu je vyvinout automatické techniky pro analýzu a verifikaci těchto programů. Pro dosažení tohoto cíle navrhneme nové fundamentální koncepty (např. nové typy důkazů terminace či absence chyb v programu) a nové algoritmy založené na těchto konceptech. Rovněž budeme zkoumat využití těchto nových technik v aplikacích specifických pro oblast umělé inteligence (UI). Výsledky budou publikovány ve sbornících předních konferencí zaměřených na programovací jazyky, verifikaci a UI, a rovněž ve vybraných časopisech.
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
Completed project evaluation
Provider evaluation
U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)
Project results evaluation
This is a solid and successful project. The team pursued the planned research direction and delivered many of the promised goals. The publications are in very good international venues. The budget has been spent properly.
Solution timeline
Realization period - beginning
Jan 1, 2019
Realization period - end
Dec 31, 2021
Project status
U - Finished project
Latest support payment
Apr 30, 2021
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
CEP22-GA0-GJ-U
Data delivery date
Jun 29, 2022
Finance
Total approved costs
5,053 thou. CZK
Public financial support
5,053 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
0 thou. CZK