Methodology is the key in using formal property checking in a scalable way that guarantees a higher return on investment The present-day use of formal methods in industry owes a lot to the founding ...