kupl/VeriSmart-public

できること

kupl/VeriSmart-publicは公開GitHubリポジトリ · 主な言語：OCaml。最新の記録ではスター95件、フォーク25件です。 トピック：blockchain, ethereum, formal verification, program analysis, スマートコントラクト, solidity。 利用前に資料、ライセンス、現在のIssueを確認してください。

a safety verifier for Solidity smart contracts

GitHubリポジトリ

スター

95

スター増加・7日

+0

フォーク

25

主なプログラミング言語

OCaml

リポジトリのライセンス

未確認

最後のコード更新

2023/01/17

人気はGitHubのスター数に基づきます。7日の増加数には1週間のローカル記録が必要です。当サイトの収集であり、GitHub公式のトレンドではありません。

出典と更新状況

取り込み項目には出典があります。掲載は発見の手がかりであり、推奨ではありません。