Time Track
Tools listed according to their latest update date (latest first)
| Name | Latest update | Latest Release | Notes |
|---|---|---|---|
| KeYmaera | 2012 | 3.0 | |
| Ellipsoisal Toolbox | 2011 | ||
| HSolver | 2011 | 3.1 | |
| Hybrid Toolbox | 2011 | 1.2.7 | Matlab-based |
| SpaceEx | 2011 | 0.9.4 | |
| Ptolemy II | 2010 | 8.0.1 | |
| Level set Methods | 2007 | 1.1 | |
| PHAVer | 2007 | 0.38 | |
| Checkmate | c. 2007 | Matlab-based | |
| Multi-Parametric Toolbox | 2006 | 2.6 | |
| HyVisual | 2005 | 5.0.1 | |
| MATISE? | 2005 | 1.0 | |
| HSIF | 2004 | 4.1.8 | |
| GBT | c. 2003 | ||
| Charon | c. 2002 | ||
| d/dt | c. 2000 | ||
| SHIFT | c. 1999 | ||
| HyTech | c. 1997 | ||
| GBT | unknown | ||
| HYSDEL | unknown | 2.0.6 | Matlab-based |
Page last modified on September 22, 2012, at 08:41 PM