kupl/VeriSmart-public

ใช้งานอะไร

kupl/VeriSmart-public เป็นคลังโค้ด GitHub สาธารณะ โดยใช้ OCaml เป็นภาษาหลัก ภาพรวมล่าสุดที่บันทึกไว้ระบุว่ามี 95 ดาวและ 25 ฟอร์ก หัวข้อ: blockchain, ethereum, formal verification, program analysis, สมาร์ตคอนแทรกต์, solidity อ่านเอกสาร ใบอนุญาต และรายการปัญหาปัจจุบันก่อนใช้งานซอฟต์แวร์

a safety verifier for Solidity smart contracts

คลัง GitHub

ดาว

95

ดาวเพิ่ม · 7 วัน

+0

Fork

25

ภาษาหลัก

OCaml

ใบอนุญาตคลัง

ยังไม่ตรวจสอบ

ส่งโค้ดล่าสุด

17 ม.ค. 2023

ความนิยมมาจากดาว GitHub การเพิ่ม 7 วันต้องมีข้อมูลท้องถิ่นครบสัปดาห์ นี่ไม่ใช่อันดับทางการของ GitHub

แหล่งที่มาและความใหม่

ข้อมูลนำเข้ามีลิงก์แหล่งที่มา รายการช่วยค้นหา ไม่ใช่การรับรอง