Manuel Bentele
YOU?
Author Swipe
Replication Dataset for Provably Relevant HAL Interface Requirements for Embedded Systems Open
This archive contains the replication dataset for the REFSQ 2026 paper Provably Relevant HAL Interface Requirements for Embedded Systems. The replication dataset includes the experimental results from the preliminary case study, specifical…
View article: Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)
Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) Open
Static analyzers are typically complex tools and thus prone to contain bugs themselves. To increase the trust in the verdict of such tools, witnesses encode key reasoning steps underlying the verdict in an exchangeable format, enabling ind…
Ultimate Automizer and the Abstraction of Bitwise Operations Open
The verification of Ultimate Automizer works on an SMT-LIB-based model of a C program. If we choose an SMT-LIB theory of (mathematical) integers, the translation is not precise, because we overapproximate bitwise operations. In this paper …