formal-verification

P प्रोग्रामिंग भाषा।

HACL*, F* में लिखी गई एक औपचारिक रूप से सत्यापित क्रिप्टोग्राफिक लाइब्रेरी

Creusot आपके Rust कोड को सही साबित करने में मदद करता है।

Viper सत्यापन बुनियादी ढांचे पर आधारित, Rust के लिए एक स्थैतिक सत्यापनकर्ता।

CakeML: ML का एक सत्यापित कार्यान्वयन

Rust के लिए फॉर्मल वेरिफिकेशन टूल: अधिक सुरक्षित एप्लिकेशन बनाने के लिए अपने प्रोग्राम के 100% निष्पादन मामलों की जांच करें।

Rust प्रोग्राम्स के लिए एक सत्यापन टूलचेन

एक डिपेंडेंटली-टाइप्ड प्रूफ भाषा जिसका उद्देश्य सॉफ्टवेयर इंजीनियरों के लिए प्रमाणित रूप से सही बेयर मेटल कोड बनाना संभव बनाना है।

CreuSAT - Rust में लिखा गया और Creusot के साथ सत्यापित एक औपचारिक रूप से सत्यापित SAT सॉल्वर।

मशीन क्रियाओं के लिए परिणाम फ़ायरवॉल। EMILIA Gate पैसे, कोड, अनुमति, बुनियादी ढांचे या विनियमित स्थिति परिवर्तनों से पहले सटीक अधिकार सत्यापित करता है; ओपन प्रोटोकॉल साक्ष्य को स्वतंत्र रूप से सत्यापन योग्य बनाता है।

मुफ्त और ओपन सोर्स हार्डवेयर सत्यापन उपकरणों और फ्रेमवर्क्स की एक सूची

उद्योग में औपचारिक सत्यापन विधियों (formal methods) का उपयोग करने वाली कंपनियों की एक क्यूरेटेड सूची

सत्यापित सॉफ़्टवेयर टूलचेन (Verified Software Toolchain)