A Walrus that acts as a FormalSpecification generator.
The FormalSpecificationWalrus would dress formally at all times, viz. Top Hat and Tails, Monocle and Cane.
Obviously linked to the GoldenInformationDog
The FormalSpecificationWalrus is capable of generating specifications in several FormalSpecification languages. (see: VDM-SL, B/AMN, Z and DisCo)