Category:Formal specification languages

Subcategories

This category has the following 6 subcategories, out of 6 total.

D

• [+] Denotational semantics (1 C, 5 P)

H

• [+] Hardware verification languages (7 P)

P

• [+] Petri nets (11 P)
• [+] Process calculi (16 P)

S

• [+] Synchronous programming languages (8 P)

Z

• [+] Z notation (15 P)

Pages in category "Formal specification languages"

The following 44 pages are in this category, out of 44 total. This list may not reflect recent changes (learn more).