Create accountLogin

Recent searches

No recent searches

Search options

Not available on mstdn.maud.io.
mstdn.maud.io is one of the many independent Mastodon servers you can use to participate in the fediverse.
The place to express your ❤️ more freely. / あなたの「すき」をもっと自由に書き表すための場所。

Administered by:

Server stats:

346
active users

mstdn.maud.io: AboutStatusProfiles directoryPrivacy policyTerms of service

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.4.0-alpha.4+maud

件の記事で使われていたVDM以外だとAlloy、SMV、SPIN、Z言語辺りが似たようなモデル検査プロジェクトで使われる道具として有名

·Public
0boosts·0favorites
SearchLive feeds
About