|
gptkbp:instance_of
|
gptkb:High_School
|
|
gptkbp:bfsLayer
|
7
|
|
gptkbp:bfsParent
|
gptkb:Orna_Grumberg
gptkb:Berkeley_Programming_Languages_Group
|
|
gptkbp:based_on
|
temporal logic
|
|
gptkbp:designed_by
|
gptkb:Leslie_Lamport
|
|
gptkbp:first_released
|
gptkb:1990
|
|
gptkbp:has_programs
|
concurrent programming
distributed systems
software verification
hardware design
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
TLA+
|
|
gptkbp:includes
|
Plus Cal
TLA (Temporal Logic of Actions)
|
|
gptkbp:is_available_in
|
open-source implementations
commercial tools
|
|
gptkbp:is_documented_in
|
TLA+ Community
TLA+ Hyperbook
TLA+ Proof System
TLA+ Tools
|
|
gptkbp:is_influenced_by
|
gptkb:philosopher
gptkb:computer_science
gptkb:Mathematician
gptkb:collection
|
|
gptkbp:is_part_of
|
theoretical computer science
algorithm design
software engineering
Lamport's work on distributed systems
|
|
gptkbp:is_promoted_by
|
gptkb:publishing_company
gptkb:document
research papers
tutorials
industry practitioners
TLA+ community
|
|
gptkbp:is_related_to
|
verification
formal methods
safety properties
liveness properties
|
|
gptkbp:is_supported_by
|
TLA+ Toolbox
|
|
gptkbp:is_used_by
|
gptkb:Job_Search_Engine
gptkb:Microsoft
gptkb:Intel
gptkb:book
|
|
gptkbp:is_used_for
|
specifying algorithms
|
|
gptkbp:provides
|
gptkb:software_framework
|
|
gptkbp:supports
|
model checking
theorem proving
|
|
gptkbp:training
|
workshops
conferences
online courses
university courses
|