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/15/2020
BARR-C:2018 and MISRA C:2012: Synergy Between the Two Most Widely Used C Coding Standards
The Barr Group's Embedded C Coding Standard (BARR-C:2018, which originat...
research
∙
09/13/2019
That's C, baby. C!
Hardly a week goes by at BUGSENG without having to explain to someone th...
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
The MISRA C Coding Standard and its Role in the Development and Analysis of Safety- and Security-Critical Embedded Software
The MISRA project started in 1990 with the mission of providing world-le...
research
∙
08/18/2013
Exploiting Binary Floating-Point Representations for Constraint Propagation: The Complete Unabridged Version
Floating-point computations are quickly finding their way in the design ...
research
∙
02/01/2013
