[B! 形式手法][github] atsushifxのブックマーク

atsushifx id:atsushifx

形式手法とgithubに関するatsushifxのブックマーク (1)

GitHub - subsetpark/pantagruel: A program specification language with a formal syntax and ad-hoc semantics.
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
atsushifx 2022/03/21
いわゆるシステムの仕様を確認する仕様記述言語らしい。

github

FormalMethod

形式手法

仕様記述言語

Specification

programming Language
リンク
1

お知らせ

もっと読む

公式Twitter

@HatenaBookmark
リリース、障害情報などのサービスのお知らせ
@hatebu
最新の人気エントリーの配信

キーボードショートカット一覧

j次のブックマーク

k前のブックマーク

lあとで読む

eコメント一覧を開く

oページを開く

設定を変更しましたx