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.

Articles in category "Formal specifications"

There is 1 article in this category.