Software Bugs Seen from an Industrial Perspective or Can Formal Methods Help on Automotive Software Development?
No abstract available.
Related papers
- Model-Based Fault Classification for Automotive Software APLAS 2022
- 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
- Project Everest: Perspectives from Developing Industrial-Grade High-Assurance Software TOPLAS 2026
- The next mainstream programming language: a game developer's perspective POPL 2006
- Is Your Software on Dope? - Formal Analysis of Surreptitiously "enhanced" Programs ESOP 2017
- Wolf - Bug Hunter for Concurrent Software Using Formal Methods CAV 2005
- The Proof Must Go On: Formal Methods in the Theater of Secure Software Development of the Future Onward! 2025