devices, etc). These systems must avoid any unforeseen errors (bugs) that could threaten lives, and a formal
verification... as exhaustive as possible is highly desired. For cyber-physical systems for which full formal
verification is not feasible (due... -
Voir cette offre d'emploi