Specifications are not (necessarily) executableAbstract : Specifications can be written in languages which have formal semantics. Their very formality, and the similarities with some aspects of implementation languages, invites the idea th…