activity
20162023
most citedCorrect Approximation of IEEE 754 Floating-Point Arithmetic for Program Verification

6 citations · 13 across the 6 of their papers we have counts for

collaborators
Showing 2018Show all

1 paper · 1 filter

cs.PL2018★ 2 cited

The MISRA C Coding Standard and its Role in the Development and Analysis of Safety- and Security-Critical Embedded Software

Roberto Bagnara, Abramo Bagnara, Patricia M. Hill

The MISRA project started in 1990 with the mission of providing world-leading best practice guidelines for the safe and secure application of both embedded control systems and stan…