Philippa explains: "What is MC/DC?"

2015-02-17

(Click image to enlarge)

Mitigation of interference in multicore processors for A(M)C 20-193

Developing DO-178C and ED-12C-certifiable multicore software

Efficient Verification Through the DO-178C Life Cycle

A Commercial Solution for Safety-Critical Multicore Timing Analysis

1000 conditions per decision ought to be enough for anybody

.

2019-01-28

CAST-10 "Literal" Interpretation of Decision Coverage Increases Rigor of Testing Requirements

.

2015-03-25

Does DO-178C require object code structural coverage?

.

2014-11-21

Automatic generation of MC/DC test cases - a complete waste of time?

.

2013-10-15

Industry leading verification tools