Category:Formal specifications

From LiteratePrograms
Jump to: navigation, search

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.

Pages in category "Formal specifications"

This category contains only the following page.