ट्रिपल-ए (ऑटोमाटा के साथ स्वचालित विश्लेषण) जावा में दो शक्तिशाली विश्लेषण उपकरण (एलटीएल मॉडल चेकिंग और प्रेसबर्गर अंकगणित से निपटने) और इसके चारों ओर निर्मित एक ग्राफिकल यूजर इंटरफेस के साथ जावा में लिखा गया एक पूर्ण-चित्रित पुस्तकालय है।
संस्करण इतिहास
- विवरण 1_2_5_5 पर तैनात 2011-04-18
कई सुधार और अपडेट - विवरण 1.4.1 पर तैनात 2007-05-13
कार्यक्रम विवरण
- कोटि: विकास > अन्य
- प्रकाशक: triple-a.sf.net
- लाइसेंस: मुफ्त
- मूल्य: N/A
- विवरण: 1.4.1
- मंच: windows