Softpedia
 
HomepageWindowsGamesDriversMacLinuxScripts buttonMobileHandheldNews

MAC CATEGORIES:



GLOBAL PAGES >>
NEWS ARCHIVE >>
SOFTPEDIA REVIEWS >>
MEET THE EDITORS >>
WEEK'S BEST
  • Adobe InDesign CC 9.0
  • Adobe Illustrator CC 17.0
  • Adobe Photoshop CC 14.0
  • Dropbox 2.2.6 / 2.3.14 ...
  • Parallels Desktop 8.0.1...
  • TweetDeck 3.0.2
  • Apple Xcode 4.6.3
  • Butler 4.1.15
  • Winclone 4.0.1
  • VLC Media Player 2.0.7
    		•
    7-DAY TOP DOWNLOAD
    #
    Program
    All-Business-Documen
    ts 5.2.14
    21,408 downloads
    iPhone and iPod
    Firmware (iOS) 6.1.4
    2,803 downloads
    LibreOffice 4.0.3 /
    4.0.4 RC 2 / 4.1.0
    Beta 2
    2,242 downloads
    Tuxler 1.0
    2,097 downloads
    Minecraft 1.5.2
    1,619 downloads
    Apple Xcode 4.6.3
    1,282 downloads
    Mac Boy Advance
    1.7.6
    1,228 downloads
    Microsoft Office
    2011 14.3.5
    1,159 downloads
    Canon PIXMA MP280
    Driver 10.67.1.0
    1,095 downloads
    ODIN 1.8.7
    1,017 downloads
    Home > Mac > Developers > University of Twente

    University of Twente developer profile


    Programs: 1 | University of Twente homepage

    SpinJa Promela Compiler 0.9

    A Java-based model checker for Promela

    September 11th, 2012 UTC
    License: Apache
    File size: 237 KB
    Downloads: 157

    WindowsGamesDriversMacLinuxScriptsMobileHandheldNews

    SUBMIT PROGRAM   |   ADVERTISE   |   GET HELP   |   SEND US FEEDBACK   |   RSS FEEDS   |   UPDATE YOUR SOFTWARE   |   ROMANIAN FORUM
    © 2001 - 2013 Softpedia. All rights reserved.
    Softpedia® and the Softpedia® logo are
    registered trademarks of SoftNews NET SRL.    		 Copyright Information | Privacy Policy | Terms of Use