research
∙
02/10/2023
C-rusted: The Advantages of Rust, in C, without the Disadvantages
C-rusted is an innovative technology whereby C programs can be (partly) ...
share
research
∙
12/28/2022
Coding Guidelines and Undecidability
The C and C++ programming languages are widely used for the implementati...
research
∙
12/23/2021
A Rationale-Based Classification of MISRA C Guidelines
MISRA C is the most authoritative language subset for the C programming ...
research
∙
03/11/2019
Correct Approximation of IEEE 754 Floating-Point Arithmetic for Program Verification
Verification of programs using floating-point arithmetic is challenging ...
research
∙
09/04/2018
