Comment by perfunctory

yep. "Formal specification layers " aka code.