Abstract Interpretation for Embedded AI Code Safety (AIMBOS)

Third party funded individual grant


Acronym: AIMBOS

Start date : 01.01.2025

End date : 31.12.2027

Website: https://sys.cs.fau.de/research/aimbos

Schaeffler Technologies AG & Co. KG DE Germany (DE)