विषय · model-checking

model-checking

model-checking टैग वाली ट्रैक की गई ओपन सोर्स रिपॉजिटरी, स्टार के हिसाब से क्रमबद्ध।

रिपॉजिटरी

कुल स्टार

12,303

औसत स्टार

2,051

हिस्सा

0.00%

वे विषय जो अक्सर एक ही रिपॉजिटरी पर model-checking के साथ आते हैं।

हाल में उभरे

पिछले 90 दिनों में बनी और model-checking टैग वाली रिपॉजिटरी।

पिछले 90 दिनों में इस विषय के टैग वाली कोई नई रिपॉजिटरी नहीं आई।

#1
P ↗@p-orgC#
P प्रोग्रामिंग भाषा।
★ 3,670+5पिछले 7 दिनों में स्टार का बदलाव
#2
kani ↗@model-checkingRust
Kani Rust वेरिफायर
★ 3,354+20पिछले 7 दिनों में स्टार का बदलाव
#3
tlaplus ↗@tlaplusJava
TLC TLA+ में लिखी गई विशिष्टताओं के लिए एक मॉडल चेकर है। TLA+ Toolbox TLA+ के लिए एक IDE है।
★ 3,019+11पिछले 7 दिनों में स्टार का बदलाव
#4
alive2 ↗@AliveToolkitC++
LLVM अनुकूलन (optimizations) का स्वचालित सत्यापन
★ 1,161+5पिछले 7 दिनों में स्टार का बदलाव
#5
apalache ↗@apalache-mcScala
APALACHE: TLA+ और Quint के लिए प्रतीकात्मक मॉडल चेकर
★ 593+1पिछले 7 दिनों में स्टार का बदलाव
#6
BlockingQueue ↗@lemmyTLA
"Weeks of debugging can save you hours of TLA+" ट्यूटोरियल। प्रत्येक git कमिट एक नई अवधारणा पेश करता है => git इतिहास देखें!
★ 506+1पिछले 7 दिनों में स्टार का बदलाव