Opendata, web and dolomites

H2020 projects about "bugs"

The page lists 21 projects related to the topic "bugs".

# achronym  title  year 
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