verifast की ट्रैक की गई ओपन सोर्स रिपॉजिटरी, स्टार के हिसाब से क्रमबद्ध।
C, Rust और Java प्रोग्रामों के मॉड्यूलर फॉर्मल सत्यापन के लिए अनुसंधान प्रोटोटाइप टूल
