NuSMV 2.5.4


Developer:Andrew Heard
Sub category:Compilers

Rate 91% (Votes 2141)
  • .pkg
  • x0b76_NuSMV_2.5.4.pkg
  • 840 KB
  • MD5
  • fa83a11a198d5a7f0bf77a1987bcd006
  • .zip
  • 672 KB
  • MD5
  • 2dea61eed4bceec564a00115c4d21334
  • .dmg
  • pdkxl.NuSMV.2.5.4.dmg
  • 756 KB
  • MD5
  • 2823f4797102ce1a1aec05359cc16dd9

Comments (9)


  • NuSMV is a reimplementation and extension of SMV, the first model checker based on BDDs. NuSMV has been designed to be an open architecture for model checking, which can be reliably used for the verification of industrial designs, as a core for custom verification tools, as a testbed for formal verification techniques, and applied to other research areas. This release was packaged using MacPorts and contains an easy to use installer.

Popular Downloads

  • Calendar 366 Plus

    (Utilities, 3.7 MB) Complete menu-bar calendar for events and reminders.

  • Picktorial

    (Multimedia Design, 96.7 MB) Non-destructive photo editor.

  • Address Book Manipulator

    (Internet, 4.5 MB) Connect Address Book to FileMaker.

  • Trimmer

    (Multimedia Design, 0.8 MB) Easily trim your videos.

  • Sudoku Deluxe

    (Games, 221.0 MB) Brain game with solution assistance.

  • Chronories

    (Home Personal, 36.2 MB) Personal daily diary application.

At most downloads

  • (152576 KB) Hidden object adventure game.
  • (8192 KB) GUI for creating symbolic links (beta).
Memory Monitor_1.3.tar.gz
  • (351 KB) Displays memory usage in the Dock or in floating window.
Macgo iPhone Data
  • (16384 KB) iPhone data recovery software.
Macgo iPhone Data
  • (16384 KB) iPhone data recovery software.
  • (605 KB) Minecraft launcher for PPC Macs.


You must be logged in to continue.