Alloy 6 vs. TLA+ https://alloytools.discourse.group/t/alloy-6-vs-tla/329/6
$15するのかUsing lightweight modeling to understand chordhttps://dl.acm.org/doi/10.1145/2185376.2185383
様々な目的に使える、日本の汎用マストドンサーバーです。安定した利用環境と、多数の独自機能を提供しています。