AlloyTools/org.alloytools.alloy
@AlloyToolsAlloy संरचनाओं का वर्णन करने के लिए एक भाषा और उन्हें तलाशने के लिए एक टूल है। इसका उपयोग सुरक्षा तंत्रों में कमियों को खोजने से लेकर टेलीफोन स्विचिंग नेटवर्क को डिजाइन करने तक की एक विस्तृत श्रृंखला में किया गया है। इस रिपॉजिटरी में टूल के लिए कोड शामिल है।
स्टार
865
फ़ोर्क
149
भाषा
Java
लाइसेंस
NOASSERTION
आख़िरी push
3 माह पहले
संबंधित intel (0)
अभी कोई संबंधित intel नहीं
यह रिपॉजिटरी radar द्वारा ट्रैक किए जाने वाले किसी भी स्रोत में अभी तक नहीं आई है। कलेक्टर एक शेड्यूल पर चलता है — जब यह इस रिपॉजिटरी को कवर करे तब वापस देखें।