Contributor: George J. Milne (Edited by), Laurence Pierre (Edited by). Author: George J. Milne. From being apredominantly academic area of study until a few years ago,formal design and verification techniques are now beginningto migrate into industrial use.