Alternating Timed Automata Solver Files

Status: Beta

Brought to you by: lordgordon

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Name	Modified	InfoDownloads / Week
1.2 beta	2010-04-10	1
1.1 alpha	2010-02-15	0
Totals: 2 Items		1

Other Useful Business Software

Veeam Data Platform v13.1

Move workloads across hypervisors and clouds with no vendor lock-in. Try VDP free today.

Try Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.

Try Now

MongoDB Atlas runs apps anywhere

Deploy in 115+ regions with the modern database for every enterprise.

MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.

Start Free

Recommended Projects

SCSIPython
This project provides a python software library for the testing of mass storage devices such as SCSI,IDE/ATA,SATA,USB,that are supported by the SCSIPASSTHROUGH layer under Windows XP,2000,98.
S.M.A.R.T. Monitoring Tools
Disk Inspection and Monitoring
hdparm
hdparm - get/set ATA/SATA drive parameters under Linux
REDLIB
* Model-checking/simulation-checking library for real-time system with dense-time models in C with CRD (Clock-Restriction Diagrams) technology. * Parametric analysis library for linear-hybrid systems in C with HRD (Hybrid-Restriction Diagram) technol
MacOS X/Darwin PC Card ATA Driver
A driver for PC Card ATA devices for Mac OS X and Darwin. Devices supported by this driver include CompactFlash cards, SmartMedia cards, micro disk drives, and Sony Memory Sticks.