January 01, 2020 conference-paper Open access Aachen paper

Benchmarking Software Model Checkers on Automotive Code

Lecture notes in computer science, pp. 133–150

DOI: 10.1007/978-3-030-55754-6_8 Full text (OA) OpenAlex

Authors 3

Lukas Westhofen

Oldenburger Institut für Informatik

Affiliation as printed

OFFIS e.V, Oldenburg, Germany

OFFIS e. V, Oldenburg, Germany
Philipp K. Berger corresponding Aachen

RWTH Aachen University

Affiliation as printed

RWTH Aachen University, Aachen, Germany

RWTH Aachen, University, Aachen, Germany
Joost-Pieter Katoen Aachen

RWTH Aachen University

Affiliation as printed

RWTH Aachen University, Aachen, Germany

RWTH Aachen, University, Aachen, Germany

Cited by 12 stored of 12

Architecture-Driven Fixed-Point Scaling for AUTOSAR-Based ECUs: A Production-Feasible Architecture for Centralizing Scaling Semantics
2026 SAE technical papers on CD-ROM/SAE technical paper series conference-paper Computer Science Real-Time Systems Scheduling

0

citations
A Case Study in Firmware Verification: Applying Formal Methods to Intel$$^\circledR $$ TDX Module
2026 Lecture notes in computer science conference-paper Computer Science Security and Verification in Computing

3

citations
Boolean Dreams and Real Constraints: Two Decades of iSAT Solving the Undecidable
2026 Lecture notes in computer science conference-paper Computer Science Constraint Satisfaction and Optimization

0

citations
BTC Embedded Systems – Bringing Formal Methods from Norddeutschland to the World
2025 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

0

citations
The Transformation Game: Joining Forces for Verification
2024 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

4

citations
Verifying PLC Programs via Monitors: Extending the Integration of FRET and PLCverif
2024 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

4

citations
A Personal Historical Perspective on Abstract Interpretation
2023 Springer eBooks book-chapter Computer Science Logic, programming, and type systems

1

citations
On the applicability of hybrid systems safety verification tools from the automotive perspective
2023 International Journal on Software Tools for Technology Transfer book-chapter Computer Science Formal Methods in Verification Open access

3

citations
Configurable Benchmarks for C Model Checkers
2022 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

4

citations
ICP and IC3
2021 Design, Automation, and Test in Europe conference-paper Computer Science Formal Methods in Verification

3

citations
Two Decades of Formal Methods in Industrial Products at BTC Embedded Systems
2021 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

5

citations
NASA Formal Methods
2020 Lecture notes in computer science conference-paper Engineering Fault Detection and Control Systems Open access

5

citations

12 results

No patents citing this paper on Lens.org (checked 2026-10-06).

References 23

A Tool for Checking ANSI-C Programs
2004 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

1,402

citations
Boogie: A Modular Reusable Verifier for Object-Oriented Programs
2006 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems

806

citations
Frama-C
2012 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

378

citations
CBMC – C Bounded Model Checker
2014 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

334

citations
Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis
2007 Springer eBooks conference-paper Computer Science Formal Methods in Verification Open access

183

citations
Software Model Checking for People Who Love Automata
2013 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

182

citations
SMACK: Decoupling Source Language Details from Verifier Implementations
2014 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems

139

citations
ESBMC 5.0: an industrial-strength C model checker
2018 IEEE/ACM International Conference on Automated Software Engineering (ASE) conference-paper Computer Science Formal Methods in Verification

113

citations
Predicate abstraction with adjustable-block encoding
2010 article Computer Science Formal Methods in Verification

112

citations
Explicit-State Software Model Checking Based on CEGAR and Interpolation
2013 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

107

citations
Boosting k-Induction with Continuously-Refined Invariants
2015 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

87

citations
Handling loops in bounded model checking of C programs via k-induction
2015 International Journal on Software Tools for Technology Transfer article Computer Science Formal Methods in Verification Open access

85

citations
Automatic Verification of C and Java Programs: SV-COMP 2019
2019 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

84

citations
A Unifying View on SMT-Based Software Verification
2017 Journal of Automated Reasoning article Computer Science Formal Methods in Verification Open access

65

citations
PeSCo: Predicting Sequential Combinations of Verifiers
2019 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

56

citations
2LS for Program Analysis
2016 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

34

citations
DepthK: A k-Induction Verifier Based on Invariant Inference for C Programs
2017 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

33

citations
Ultimate Taipan: Trace Abstraction and Abstract Interpretation
2017 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

18

citations
Symbiotic 4: Beyond Reachability
2017 Lecture notes in computer science conference-paper Computer Science Software Testing and Debugging Techniques

16

citations
Universal Pattern: formalization, testing, coverage, verification, and test case generation for safety-critical requirements
2016 FreiDok plus (Universitätsbibliothek Freiburg) article Computer Science Software Testing and Debugging Techniques Open access

12

citations