Event-B

May 11, 2015

Formal verification conference offers ARM, Broadcom, Imagination insights, online access

Conference addresses formal verification techniques at levels to suit beginners through to experts

Article | Topics: Conferences, Verification | Tags: assertions, Event-B, formal verification, modeling | Organizations: Arm, Broadcom, Cadence Design Systems, Imagination Technologes, Mentor Graphics, OneSpin Solutions, Synopsys

September 3, 2014

DVCon Europe focuses on systems design and verification

Focus on systemic issues matches DVCon Europe event to European interests

Article | Topics: Conferences, Verification | Tags: cyber-physical systems, Event-B, metrics, UPF, UVM | Organizations: DVCon

PLATINUM SPONSORS

Synopsys

Cadence Design Systems

Siemens EDA

View All Sponsors