📋 Tender Overview
Finite-State Abstractions Of Infinite-State Systems
Software Testing Based On Finite-State Systemsdetermining What Can Programmes Find Out Algorithmically About Other Programmes Remains A Fundamental Question In Theoretical Computer Science. By Restricting The Class Of Analysed Programmes, Recent Studies Have Demonstrated A Wide Variety Of Methods For Checking Various Important Properties. Understanding How To Restrict The Analysed Programmes Is Crucial In Software Verification As Algorithms Can Be Used To Automatically Check Software Correctness. However, Designing Models That Can Work With Infinite-State Systems To Account For How The Programme Behaves For All Possible Inputs Poses A Challenge. The Erc-Funded Finabis Project Will Investigate How To Transform Infinite-State Systems Into Finite-State Systems That Preserve Some Pertinent Aspects Of The Original System. Researchers Will Study Two Specific Transformations: Separability And Closure Problems.
Funded Under
European Research Council (Erc)
Total Cost
€ 1 482 500,00
Eu Contribution
€ 1 482 500,00
Coordinated By
Max-Planck-Gesellschaft Zur Forderung Der Wissenschaften Ev
Germany
