द्वारा कार्यक्रम triple-a.sf.net

ट्रिपल-ए (ऑटोमाटा के साथ स्वचालित विश्लेषण) जावा में दो शक्तिशाली विश्लेषण उपकरण (एलटीएल मॉडल चेकिंग और प्रेसबर्गर अंकगणित से निपटने) और इसके चारों ओर निर्मित एक ग्राफिकल यूजर इंटरफेस के साथ जावा में लिखा गया एक पूर्ण-चित्रित