With eight papers in two separate sessions focused exclusively on formal verification, one could assert (pun intended) that this year’s…