Formal Runtime Error Detection During Development in the Automotive Industry
Abstract elided by the publisher.
Related papers
- Software Bugs Seen from an Industrial Perspective or Can Formal Methods Help on Automotive Software Development? CAV 2007
- Model-Based Fault Classification for Automotive Software APLAS 2022
- Ensuring Safety in Automotive Machine Learning Inference: From Pre-validated Static Kernels to Machine Learning Graph Compilation CAV 2026
- E-QED: Electrical Bug Localization During Post-silicon Validation Enabled by Quick Error Detection and Formal Methods CAV 2017
- The MISRA C Coding Standard and its Role in the Development and Analysis of Safety- and Security-Critical Embedded Software SAS 2018
- Lightweight fault detection in parallelized programs CGO 2013
- SOS: saving time in dynamic race detection with stationary analysis OOPSLA 2011
- VYRD: verifYing concurrent programs by runtime refinement-violation detection PLDI 2005