An Experience of Complex Design Validation: How to Make Semiformal Verification Work

Sabih Agbaria, Dan Carmi, Orly Cohen, Dmitry Korchemny, Michael Lifshits, and Alexander Nadel