The Specification Language Zoo
home
contributing
specification languages
ATL
CTL
CTL*
GR(1)
LTL
MTL
PDDL
PrSTL
SL
TLA+
TWTL
counting LTL
scLTL
papers
Alternating-Time Temporal Logic
Alternating-Time Temporal Logic
Bridging the gap between fair simulation and trace inclusion
Deciding Full Branching Time Logic
Efficient Model Checking of Safety Properties
PDDL -- The Planning Domain Definition Language
Provably-Correct Coordination of Large Collections of Agents with Counting Temporal Logic Constraints
Robustness of temporal logic specifications for continuous-time signals
Safe Control under Uncertainty with Probabilistic Signal Temporal Logic
Specifying Real-Time Properties with Metric Temporal Logic
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
Synthesis of Reactive(1) designs
The Complexity of Propositional Linear Temporal Logics
The temporal logic of programs
Time window temporal logic
``Sometimes'' and ``Not Never'' Revisited: On Branching versus Linear Time Temporal Logic
``Sometimes'' and ``Not Never'' Revisited: On Branching versus Linear Time Temporal Logic (preliminary report)
tools
CrSyPSTL
scheck
twtl
Search
Previous
Next
TLA+
TLA+
TLA+
summary
(nil)
results
(nil)
references (chronological order)
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
(2002)
Search
×
Close
From here you can search these documents. Enter your search terms below.
Keyboard Shortcuts
×
Close
Keys
Action
?
Open this help
n
Next page
p
Previous page
s
Search