Evaluation of formal verification technology at IARC

This is a contributed talk to the International Workshop organised by the Department of Computer Science, University of Warwick