मुझे कुछ समय के लिए औपचारिक तरीकों में रुचि है। मैंने कुछ परियोजनाओं के कुछ बहुत ही विशिष्ट उप-क्षेत्रों के बारे में तर्क करने के लिए औपचारिक तरीकों का उपयोग किया है जिन पर मैं काम कर रहा हूं। मैं कभी
Alloy 4 grammarprivate कीवर्ड ले जाने के लिए हस्ताक्षर घोषणाओं (और कुछ अन्य चीजों) की अनुमति देता है। यह भी विनिर्देशों रूप enum nephews { hughie, louis, dewey }
enum ducks { donald, daisy, scrooge,
यह होमवर्क है और मुझे इसके साथ बहुत परेशानी हो रही है। मैं लाइब्रेरी मॉडल करने के लिए Alloy का उपयोग कर रहा हूं। sig Library {
patrons : set Person,
on_shelves : set Book,
}
sig Book {