Hébergeur de fichiers indépendant

uppaal.zip

À propos

Type de fichier
Fichier ZIP de 5.3 Mo (application/zip)
Confidentialité
Fichier public, envoyé le 23 septembre 2015 à 17:15, depuis l'adresse IP 130.120.x.x (France)
Sécurité
Ne contient aucun Virus ou Malware connus - Dernière vérification: 30 jours
Statistiques
La présente page de téléchargement a été vue 338 fois depuis l'envoi du fichier
Page de téléchargement

Aperçu du contenu du fichier


Archive: / 2015 / 09 / 23 / uppaal / uppaal.zip
Taille de l'archive: 5571902 octets, nombre de fichiers et répertoires: 39
drwx---     6.3 fat        0 bx stor 15-Sep-23 15:47 uppaal / 
drwxa--     6.3 fat        0 bx stor 15-Sep-23 16:39 uppaal / uppaal-4.0.13 / 
drwxa--     6.3 fat        0 bx stor 15-Sep-23 15:47 uppaal / uppaal-4.0.13 / bin-Linux / 
-rw-a--     6.3 fat  2736136 bx defN 15-Sep-23 15:47 uppaal / uppaal-4.0.13 / bin-Linux / server
-rw-a--     6.3 fat  2735356 bx defN 15-Sep-23 15:47 uppaal / uppaal-4.0.13 / bin-Linux / verifyta
drwxa--     6.3 fat        0 bx stor 15-Sep-23 15:47 uppaal / uppaal-4.0.13 / bin-Win32 / 
-rwxa--     6.3 fat  2578944 bx defN 15-Sep-23 15:47 uppaal / uppaal-4.0.13 / bin-Win32 / server.exe
-rwxa--     6.3 fat  2569728 bx defN 15-Sep-23 15:47 uppaal / uppaal-4.0.13 / bin-Win32 / verifyta.exe
drwxa--     6.3 fat        0 bx stor 15-Sep-23 15:47 uppaal / uppaal-4.0.13 / demo / 
-rw-a--     6.3 fat     1808 bx defN 15-Sep-23 15:47 uppaal / uppaal-4.0.13 / demo / 2doors.q
-rw-a--     6.3 fat     3626 bx defN 15-Sep-23 15:47 uppaal / uppaal-4.0.13 / demo / 2doors.xml
-rw-a--     6.3 fat      522 bx defN 15-Sep-23 15:47 uppaal / uppaal-4.0.13 / demo / bridge.q
-rw-a--     6.3 fat     3165 bx defN 15-Sep-23 15:47 uppaal / uppaal-4.0.13 / demo / bridge.xml
-rw-a--     6.3 fat      419 bx defN 15-Sep-23 15:47 uppaal / uppaal-4.0.13 / demo / fischer.q
-rw-a--     6.3 fat     1608 bx defN 15-Sep-23 15:47 uppaal / uppaal-4.0.13 / demo / fischer.xml
-rw-a--     6.3 fat      189 bx defN 15-Sep-23 15:47 uppaal / uppaal-4.0.13 / demo / fischer_symmetry.q
-rw-a--     6.3 fat     1665 bx defN 15-Sep-23 15:47 uppaal / uppaal-4.0.13 / demo / fischer_symmetry.xml
-rw-a--     6.3 fat      183 bx defN 15-Sep-23 15:47 uppaal / uppaal-4.0.13 / demo / interrupt.q
-rw-a--     6.3 fat     3772 bx defN 15-Sep-23 15:47 uppaal / uppaal-4.0.13 / demo / interrupt.xml
-rw-a--     6.3 fat     1349 bx defN 15-Sep-23 15:47 uppaal / uppaal-4.0.13 / demo / train-gate.q
-rw-a--     6.3 fat     4484 bx defN 15-Sep-23 15:47 uppaal / uppaal-4.0.13 / demo / train-gate.xml
-rw-a--     6.3 fat     2981 bx defN 15-Sep-23 17:04 uppaal / uppaal-4.0.13 / lamp.xml
-rw-a--     6.3 fat      401 bx defN 15-Sep-23 17:04 uppaal / uppaal-4.0.13 / lampQueries.q
drwxa--     6.3 fat        0 bx stor 15-Sep-23 15:47 uppaal / uppaal-4.0.13 / lib / 
-rw-a--     6.3 fat    69977 bx defN 15-Sep-23 15:47 uppaal / uppaal-4.0.13 / lib / editor.jar
-rw-a--     6.3 fat   148264 bx defN 15-Sep-23 15:47 uppaal / uppaal-4.0.13 / lib / jdom.jar
-rw-a--     6.3 fat   531676 bx defN 15-Sep-23 15:47 uppaal / uppaal-4.0.13 / lib / jh.jar
-rw-a--     6.3 fat   114580 bx defN 15-Sep-23 15:47 uppaal / uppaal-4.0.13 / lib / jlfgr-1_0.jar
-rw-a--     6.3 fat   164665 bx defN 15-Sep-23 15:47 uppaal / uppaal-4.0.13 / lib / model.jar
-rw-a--     6.3 fat    44086 bx defN 15-Sep-23 15:47 uppaal / uppaal-4.0.13 / lib / swixml.jar
-rw-a--     6.3 fat       44 bx stor 15-Sep-23 15:47 uppaal / uppaal-4.0.13 / license.txt
drwxa--     6.3 fat        0 bx stor 15-Sep-23 15:47 uppaal / uppaal-4.0.13 / man / 
drwxa--     6.3 fat        0 bx stor 15-Sep-23 15:47 uppaal / uppaal-4.0.13 / man / man1 / 
-rw-a--     6.3 fat     1076 bx defN 15-Sep-23 15:47 uppaal / uppaal-4.0.13 / man / man1 / uppaal.1
-rw-a--     6.3 fat     5191 bx defN 15-Sep-23 15:47 uppaal / uppaal-4.0.13 / readme.txt
-rw-a--     6.3 fat     1271 bx defN 15-Sep-23 16:37 uppaal / uppaal-4.0.13 / simtest.xtr
-rw-a--     6.3 fat     1485 bx defN 15-Sep-23 15:47 uppaal / uppaal-4.0.13 / test.xml
-rw-a--     6.3 fat      893 bx defN 15-Sep-23 15:47 uppaal / uppaal-4.0.13 / uppaal
-rw-a--     6.3 fat   567509 bx defN 15-Sep-23 15:47 uppaal / uppaal-4.0.13 / uppaal.jar
39 entrées, 12297053 octets (non compressé), 5564910 octets (compressé) - Taux de compression:  54.7%


Partager le fichier

Télécharger uppaal.zip

Télécharger le fichier (5.3 Mo)