Static Analysis at Bosch
Since spring 2018, AbsInt Angewandte Informatik GmbH provides a worldwide use license for the static program analyzers Astrée and RuleChecker to Robert Bosch GmbH. Astrée proves the absence of runtime errors and invalid concurrent behaviors in embedded C programs. The Mehr







