-
and approaches, as well as implementations that can be practically used. The first project targets specifically numerical programs that appear widely in e.g. safety-critical (embedded) systems, data
-
widely in e.g. safety-critical (embedded) systems, data analysis, weather forecasting, physics, and engineering. Verifying that such programs are correct is challenging because of rounding errors due
Enter an email to receive alerts for embedded-system "https:" "https:" "https:" positions