TLA+ model checking made symbolic – the morning paperを読んだメモ
#the morning paper
OOPSLA
’19
TLA+
分散アルゴリズムに関する推論に特化したformal specification language
Temporal Logic of Actions
TLC: model checker
TLAPS: theorem prover
TLA+ model checking made symbolic – the morning paper