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
scheck
scheck
specification languages
scLTL
references (chronological order)
Efficient Model Checking of Safety Properties
(2003)
URL
http://www.tcs.hut.fi/~timo/scheck/
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