|
gptkbp:instanceOf
|
gptkb:formal_specification_language
|
|
gptkbp:basedOn
|
gptkb:Temporal_Logic_of_Actions
|
|
gptkbp:category
|
formal methods
software engineering
model checking
|
|
gptkbp:creator
|
gptkb:Leslie_Lamport
|
|
gptkbp:designedFor
|
specifying distributed systems
specifying concurrent systems
|
|
gptkbp:documentation
|
gptkb:Specifying_Systems_by_Leslie_Lamport
|
|
gptkbp:firstAppearance
|
1999
|
|
gptkbp:license
|
gptkb:MIT_License
|
|
gptkbp:usedBy
|
gptkb:Amazon
gptkb:Intel
gptkb:Microsoft_Azure
|
|
gptkbp:usedFor
|
verifying algorithms
finding design errors
|
|
gptkbp:uses
|
gptkb:TLC_model_checker
gptkb:TLA+_Toolbox
|
|
gptkbp:website
|
https://lamport.azurewebsites.net/tla/tla.html
|
|
gptkbp:writtenBy
|
gptkb:Java
|
|
gptkbp:bfsParent
|
gptkb:Radell_Faraday_Nelson
gptkb:Apalache
gptkb:PlusCal
gptkb:ProB
gptkb:Specifying_Systems:_The_TLA+_Language_and_Tools_for_Hardware_and_Software_Engineers
gptkb:TLC_model_checker
gptkb:Temporal_Logic_of_Actions
gptkb:TLA+_tools
gptkb:L._Lamport
|
|
gptkbp:bfsLayer
|
7
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
TLA+
|