Software Developed by atao.sourceforge.net

Alternating Timed Automata Solver  v.1.2.beta

Our goal is to develop a full working solver for ATA (with 1 clock) in Python, with MTL to ATA support.

Most Popular
Latest Updates
Newest Reviews
  • FrontFace Lockdown Tool (Kevin) Nov 23, 2023
    The software protects the PCs which are being used by consumers from unauthorized access to other...
  • Mass URL Shortener Script (Kzkkldquing) Mar 13, 2023
    Thanks, I've been looking for this for a long time
  • Free Video to ZEN Converter (kzkazedgen) Mar 2, 2023
    Thanks, I've been looking for this for a long time
  • Isoo Backup (chryl) Nov 23, 2022
    My windows drive crashed last week, then I am suggested to use Isoo Backup software by a geek to...
  • ProductView Express (Burkhard Schlee) Sep 2, 2022
    I need this for working with pro Engineer
  • IDEA (Sajid) Oct 24, 2021
    Its good for audit software
  • Weka (eduardo) Oct 14, 2021
    I am using the software for research, good work!
  • MindView (D. Silva) Oct 12, 2021
    Boosting productivity of my team by allowing them to input ideas and get the response from other...
  • ComponentOne SizerOne (Prozit) Sep 19, 2021
    Good software. I absolutely love this. Keep updated!
  • WoW Forums (Stressless) Sep 18, 2021
    I like the valuable software you provide in your site. I will bookmark your site and check again...