VeraBE/VeriMan

ใช้งานอะไร

VeraBE/VeriMan เป็นคลังโค้ด GitHub สาธารณะ โดยใช้ Python เป็นภาษาหลัก ภาพรวมล่าสุดที่บันทึกไว้ระบุว่ามี 35 ดาวและ 8 ฟอร์ก หัวข้อ: blockchain, ethereum, ltl, monitoring, runtime verification, solidity อ่านเอกสาร ใบอนุญาต และรายการปัญหาปัจจุบันก่อนใช้งานซอฟต์แวร์

Analysis tool for Solidity smart contracts. Prototype.

คลัง GitHub

ดาว

35

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

—

Fork

8

ภาษาหลัก

Python

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

GPL-3.0

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

7 พ.ย. 2023

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

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

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