Aion: Verification of Critical Components Timely Behaviour in a Probabilistic Environment

Project Details

Short titleAion: Verification of Critical Components Timely Behaviour in a Probabilistic Environment
StatusFinished
Effective start/end date1/04/2030/09/21

Funding

  • Verified Trustworthy Software Systems