ERTS 2024

Date: June 11-12

Location: Toulouse (France)

Booth: 10

Next week we will be at the 12th ERTS (Embedded Real Time Software and Systems) Congress in Toulouse. We will be at booth 10, where Developair team will show our solution based on symbolic AI that automates formal verification activities and generates functional unit test in the development of software components for embedded systems.

ERTS is an international congress focused on Embedded Real Time Software and Systems which brings together professionals and researchers from various sectors such as automotive, railway, aeronautics, industry or telecommunications, among others. You can find more information on its website: