2021-12-16から1日間の記事一覧
Motivation Nowadays, it's getting popular to use formal methods to verify complex systems e.g. distributed storages. TLA+ is a widely-adopted formal specification language created by Leslie Lamport. The standard way to write and verify TLA…