BUGSENG launched a new certified functional safety package for its ECLAIR Software Verification Platform. This enables customers to accelerate the development of safety-critical software and its certification in compliance with ISO 26262:2018 (for any ASIL), IEC 61508:2010 and EN 50128:2011 (for any SIL), IEC 62304:2006 (for any software safety class), and ISO 25119:2018 (for any SRL).