1 Table of Contents: “... systems, from ASICs to HW/SW codesign — a pragmatic approach -- The industrial success of verification...”

2 Table of Contents: “... The Dominant Rationale for Formal Methods -- 2.2 Some Pragmatic Objections to Formal Methods -- 2.3 Dissolving...”

3 “... students, academics and practitioners alike that formal methods are truly pragmatic; – failing to overcome...”