johnsonstephan/awesome-web3-formal-verification

ใช้งานอะไร

johnsonstephan/awesome-web3-formal-verification เป็นคลังโค้ด GitHub สาธารณะ ภาพรวมล่าสุดที่บันทึกไว้ระบุว่ามี 44 ดาวและ 6 ฟอร์ก หัวข้อ: awesome list, blockchain, blockchain service, defi, formal languages, formal methods อ่านเอกสาร ใบอนุญาต และรายการปัญหาปัจจุบันก่อนใช้งานซอฟต์แวร์

A curated list of awesome web3 formal verification resources -- including tools, tutorials, articles and more.

คลัง GitHub

ดาว

44

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

—

Fork

6

ภาษาหลัก

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

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

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

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

5 มี.ค. 2024

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

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

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