Dear Reader, I wish you have a 2026 full of joy, personal and professional accomplishments. And if 2026 started rumbling with politics don’t despair: there

Hi there! Our colleague Andrei wrote last month a verification article about how to accelerate the debugging process in verification by using error clustering. You can

Howdy! Long time no see, but here are the interesting articles that caught our eye lately. Neil Johnson (AgileSoc), expands a previous experience into a