טריפל-א 'או ניתוח אוטומטי עם Automata הוא ספריה מבוססת Java מבוסס עבור automata סופי תוכנן עם שני כלי ניתוח רב עוצמה (התמודדות עם בדיקת מודל LTL ו- Presburger Arithmetics) וממשק משתמש גרפי שנבנה סביבו.
softwaresea.com מספק את מרכז הורדת התוכנה החינמית הירוק העדכני ביותר בבית ובחול, כולל תוכנות מחשב, אפליקציית אפל, אפליקציית אנדרואיד ועוד הורדות חינמיות של תוכנות ניידות למחשב. אם אתה רוצה ללמוד עוד על תוכנה חופשית ירוקה, הורד אותה ב-softwaresea.com!