Opendata, web and dolomites
H2020 projects about "bugs"
The page lists 21 projects related to the topic "bugs".
| # | |||
|---|---|---|---|
| 1 | CoqHoTT | Coq for Homotopy Type Theory | 2015 |
| 2 | IMMORTAL | Integrated Modelling, Fault Management, Verification and Reliable Design Environment for Cyber-Physical Systems | 2015 |
| 3 | LiNaBioFluid | Laser-induced Nanostructures as Biomimetic Model of Fluid Transport in the Integument of Animals | 2015 |
| 4 | CoVeCe | Coinduction for Verification and Certification | 2016 |
| 5 | CIRCUS | An end-to-end verification architecture for building Certified Implementations of Robust, Cryptographically Secure web applications | 2016 |
| 6 | AIMMS STAR-PLUS | Scientific Top Training in Antimicrobial Research | 2016 |
| 7 | CORNET | Provably Correct Networks | 2018 |
| 8 | SVIS | Supervised Verification of Infinite-State Systems | 2018 |
| 9 | VESTA | VErified STAtic analysis platform | 2018 |
| 10 | ASTRID | AddreSsing ThReats for virtualIseD services | 2018 |
| 11 | LaBionicS | Laser Bionic Surfaces | 2018 |
| 12 | FRAPPANT | Formal Reasoning About Probabilistic Programs: Breaking New Ground for Automation | 2018 |
| 13 | PRECRIME | Self-assessment Oracles for Anticipatory Testing | 2019 |
| 14 | PASS | Program Analysis for Safe and Secure Software Evolution | 2019 |
| 15 | PLATYPIS | Creating High Performance Insect Breeds via a Platform for Typing of Insect Strains | 2019 |
| 16 | GAMMA | The Artificial Intelligence Code Analysis & Recommendation Engine to drive software development speed & reliability for global corporations | 2019 |
| 17 | SafeNet | Safe Networks using P4 Programs | 2019 |
| 18 | DEVINTA | An Artificial Assistant for Software Developers | 2020 |
| 19 | LearnBugs | Learning to Find Software Bugs | 2020 |
| 20 | CodeSan | Code Sanitization for Vulnerability Pruning and Exploitation Mitigation | 2020 |
| 21 | ULIGHT | Bright and Compact Deep Ultraviolet Light Sources for Healthcare and Industry | 2020 |