WeSearch
Hub / Tags / Specification Language
TAG · #SPECIFICATION-LANGUAGE

Specification Language coverage.

Every story in the WeSearch catalog tagged with #specification-language, chronological, with view counts. Subscribe to the per-tag RSS feed to follow this topic in your reader of choice.

1 story tagged with #specification-language, in publish-time order across the WeSearch catalog. Tag pages update as new stories ingest.

⌘ RSS feed for this tag →   or   search "Specification Language"

RELATED TAGS
#tla1#formal-methods1#system-modeling1#software-verification1
INNOQ

An introduction to TLA+ and its use in parties (2023)

TLA+ is a system for modeling all possible states of a system. On this model, you can then verify certain properties of this system. Smart people can use this to check that their t…

13 views ·
#tla+#formal methods#system modeling

Browse more

All tags Search "Specification Language" RSS feed World US Technology Markets