formal-methods

एम्बेडेड डेटाबेस की दुनिया का शैंपेन

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

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

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

एक्शन के टेम्पोरल लॉजिक (TLA) पर आधारित शानदार टूलिंग के साथ एक निष्पादित विशिष्टता भाषा

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

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

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

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

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