quint-co/quint
@quint-coTLA（Temporal Logic of Actions）に基づいた、優れたツール群を備える実行可能な仕様記述言語
スター
1,654
フォーク
144
言語
TypeScript
ライセンス
Apache-2.0
最終プッシュ
3 週間前
関連 Intel（0）
関連 Intel はまだありません
このリポジトリは radar が追跡するソースにまだ登場していません。コレクターはスケジュールで動いています——このリポジトリがカバーされたらまた見てください。