Category:Formal specification languages

From Infogalactic: the planetary knowledge core

Jump to: navigation, search

Formal specification languages supporting formal methods.

Subcategories

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

D

► Denotational semantics‎ (5 P)

P

► Petri nets‎ (9 P)
► Process calculi‎ (10 P)

Pages in category "Formal specification languages"

The following 37 pages are in this category, out of 37 total.

Retrieved from "https://infogalactic.com/w/index.php?title=Category:Formal_specification_languages&oldid=3680206"