Main category \ Education
Sub category \ Teaching Tools
Developer \ NASA Goddard Institute for Space Studies
Filesize \ 22323
Title \ Mars24
✅
macpkg.icu/?id=12415&s=frfrms&kw=Mars24+v.8.0.1◌ Mars24 v.8.0.1
Star Focus Assistant
Added handling of 'divide-by-zero'. In case the computation of a successor involves a division by zero, the successor is considered to be undefined (i.e. it does not exist).
Sep 27, 2010: Uppaal 4.0.13 - Current Official Release
Changed default colors in GUI such that guard, sync and assignments have different colors (June 16th)
Added xgmml2ctmc to the distribution (Linux 64).
A snapshot of the 4.1-version currently under development. Changes: Improved copy-paste.
Official: High Sierra
macpkg.icu/?id=12415&kw=version_10.0.1_mars24_hjphmf.dmg (18304 KB)
New to OS X
macpkg.icu/?id=12415&kw=8.0.4_MARS24_SCQWP.PKG (22546 KB)
Recomended iMac
macpkg.icu/?id=12415&kw=dum-ver-9.0.1-mars24.pkg (20313 KB)
Key for repack
AQB8SH-G25JD5-5VMYNJ-L5NWP9
1H8SWW-ISC8PP-FSGPRJ-14K7FW
44B8UQ-AGWGE6-TVBX57-81AND1
X2F6L2-FZ0Y0M-PU7MRB-7AZDD1
ZCW3HT-RXXOXW-SQDMQG-A12KOY
JLF7ZC-8B8R6L-U6GZVD-UJ6HEU
GY3YFY-0S8LDP-L03Z1I-MGR55Z
Solved two problems with file saving, causing the saved file to be empty.
Dec 20, 2005: Uppaal 3.6 alpha 3 - Alpha release.
Fixed bugs: 56, 142, 154, 206, 258, 272, 278, 279, 288, 289, 290, 291, 292, 293, 294, 295, and 296.
Bug fix in normalization.
Use of Deception to Improve Client Honeypot Detection of Drive-by-Download Attacks
Fixed bugs: 467, 474, 476, 477, 440, 469, 468, 478, and 479.
Notice that the GUI requires Java version 5. Be aware that this version contains changes to the syntax and you will need to convert your old models. Binaries for Mac OS X are available for download (requires MacOS 10.4 - known as Tiger - as Java 5 is not available for earlier versions). Fixed bugs: 392, 394, 395, 397, and 398.
Reinstall from macOS Recovery
| 23662 KB | Download
vers 8.0.3 Mars24 U3f 8.1.1 Recomended to 10.14.1
| 22992 KB | Get
ver 8.3.1 Mars24 t9M65 8.1.1 Best on 10.12.5
| 26341 KB | App
ver. 8.0.2 Mars24 iK933M 9.0.1 Updated MacBook Pro
| 25671 KB | Software
tTay version 8.0.4 Mars24 8.0.5 New Mac Pro
| 20090 KB | Update
Mars24 version 8.3.1 Vbe9GB 8.1.1 on Sierra
| 17858 KB | App
MARS24 V 10.0.1 ZWKM 8.1.1 New Mac
| 26117 KB | Software
Mars24 vers.8.1.1 hld 8.2.1 Recomended to MacOS
Version on MacOS
FU3Q_1.4.1_Gifski.pkg [5535 kb] 1.9.0
iMac
8DFB_VPN_TRACKER_WORLD_CONNECT_VERS_2.2.ZIP [14526 kb] 1.6