Application of Abstract Interpretation to the Automotive Electronic Control System
No abstract available.
Related papers
- DryVR: Data-Driven Verification and Compositional Reasoning for Automotive Systems CAV 2017
- EVA: a Tool for the Compositional Verification of AUTOSAR Models TACAS 2023
- Ensuring Safety in Automotive Machine Learning Inference: From Pre-validated Static Kernels to Machine Learning Graph Compilation CAV 2026
- Invited Tutorial: Boolean Satisfiability Algorithms and Applications in Electronic Design Automation CAV 2000
- CCAL: An interpreted language for experimentation in concurrent control PLDI 1987
- Prototyping an Interactive Electronic Book System Using an Object-Oriented Approach ECOOP 1988
- The MISRA C Coding Standard and its Role in the Development and Analysis of Safety- and Security-Critical Embedded Software SAS 2018
- Formal Runtime Error Detection During Development in the Automotive Industry VMCAI 2024