(1) Een specificatie geschreven en goedgekeurd in overeenstemming met gevestigde standards.~(2) een specificatie die is geschreven in een formele notatie, vaak voor gebruik in bewijs van juistheid.