Category:Formal specifications
From LiteratePrograms
Many formal specification techniques (or formal methods) encourage the creation of "literate" specifications that provide informal text intended to help the reader understand the formal text. This category contains examples of such literate specifications.