IEE Colloquium on Automating Formal Methods for Computer Assisted Prototying,