ACASIA

======================================================================= The project is cancelled due to the negative funding outlook from major countries. ======================================================================== New services and solutions for future mobility and industry introduce a new level of complexity for intelligent embedded software systems. ACASIA introduces a mix of AI-based methods and classic methods to allow an optimal compositional verification approach for verification support for critical, parallel embedded software in the area of AI containing software systems. It allows individual software components to be analysed separately and then uses these results to construct an overall system that is verified, safe and secure.