project . 2021 - 2026 . On going

AutoProbe

Automated Probabilistic Black-Box Verification
Open Access mandate for Publications European Commission
  • Funder: European CommissionProject code: 101002697 Call for proposal: ERC-2020-COG
  • Funded under: H2020 | ERC | ERC-COG Overall Budget: 2,000,000 EURFunder Contribution: 2,000,000 EUR
  • Status: On going
  • Start Date
    01 Apr 2021
    End Date
    31 Mar 2026
  • Detailed project information (CORDIS)
  • Open Access mandate
    Research Data: No
Description
One of the longstanding challenges in Computer Science has been the development of methods and tools providing rigorous guarantees about systems’ behavior, performance, and security. There have been many successes in overcoming this challenge, notably the invention and widespread use of model checking. However, existing methods are impaired by the tension between the need of fast developing systems and the slowdown caused by the complexity of providing a model against which running systems can be verified. Automata learning – automated discovery of automata models from system observations such as test logs – is emerging as a highly effective bug-finding techniqu...
Partners
Description
One of the longstanding challenges in Computer Science has been the development of methods and tools providing rigorous guarantees about systems’ behavior, performance, and security. There have been many successes in overcoming this challenge, notably the invention and widespread use of model checking. However, existing methods are impaired by the tension between the need of fast developing systems and the slowdown caused by the complexity of providing a model against which running systems can be verified. Automata learning – automated discovery of automata models from system observations such as test logs – is emerging as a highly effective bug-finding techniqu...
Partners
Any information missing or wrong?Report an Issue