द्वारा कार्यक्रम syspect.informatik.uni-oldenburg.de

सिस्पेक्ट UML2 आरेखों का उपयोग करके एक प्रणाली निर्दिष्ट करने और औपचारिक सत्यापन के लिए उन्हें सीएसपी-आस्ट्रेलिया-डीसी विनिर्देश में अनुवाद करने के लिए एक उपकरण है।