johnsonstephan/awesome-web3-formal-verification

کاربرد

johnsonstephan/awesome-web3-formal-verification یک مخزن عمومی GitHub است. آخرین تصویر ذخیره‌شده، ۴۴ ستاره و ۶ فورک را گزارش می‌کند. موضوع‌ها: 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

ستاره

۴۴

ستاره افزوده · ۷ روز

+۰

فورک

۶

زبان اصلی

بررسی نشده

مجوز مخزن

بررسی نشده

آخرین ارسال کد

۵ مارس ۲۰۲۴

محبوبیت از ستاره GitHub است. رشد ۷روزه به یک هفته ثبت محلی نیاز دارد. این رتبه‌بندی رسمی GitHub نیست.

منابع و تازگی

مدخل‌های واردشده منبع دارند. مدخل برای کشف است، نه تأیید.