TLA+ - CaLiGraph

CaLiGraph

Property	Value
rdf:type	owl:NamedIndividual Formal method Formal specification language
rdfs:label	TLA+
owl:sameAs	dbr:TLA+
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Category:Formal_specification_languages http://en.wikipedia.org/wiki/Formal_specification http://en.wikipedia.org/wiki/Category:Formal_methods http://en.wikipedia.org/wiki/Formal_methods http://en.wikipedia.org/wiki/TLA%2B http://en.wikipedia.org/wiki/Model_checking http://en.wikipedia.org/wiki/IEC_81346
skos:prefLabel	TLA+
skos:altLabel	TLA+ specification language TLA+#IDE TLA+#Proof system TLA<sup>+</sup>
clgo:designer	Leslie Lamport
clgo:latestReleaseDate	2014-01-15
clgo:latestReleaseVersion	TLA+2
clgo:license	MIT License
is clgo:knownFor of	Leslie Lamport

About: clgr:TLA+