nuSMV推出了新版本nuXmv(http://nusmv.fbk.eu)。可以下载编译好的二进制版本。
通过如下命令查看libxml2的版本:
$ brew info libxml2
libxml2: stable 2.9.1 (bottled), HEAD
http://xmlsoft.org
This formula is keg-only.
Mac OS X already provides this software and installing another version in
parallel can cause all kinds of trouble.
/usr/local/Cellar/libxml2/2.9.1 (274 files, 11M)
Poured from bottle
From: https://github.com/Homebrew/homebrew/blob/master/Library/Formula/libxml2.rb
==> Options
--universal
Build a universal binary
--with-python
Build with python support
--HEAD
install HEAD version
nuXmv在MAC使用时,需要的libxml2是2.9.2,如果低于2.9.2将会出现如下错误:
$ ./nuXmv
dyld: Library not loaded: /opt/local/lib/libxml2.2.dylib
Referenced from: /Users/rongqing/Downloads/nuxmv-1.0-darwin-x86_64/./nuXmv
Reason: Incompatible library version: nuXmv requires version 12.0.0 or later, but libxml2.2.dylib provides version 10.0.0
Trace/BPT trap: 5
解决办法:安装libxml2-2.9.2
1. 下载libxml2-2.9.2(http://xmlsoft.org)
2. configure/make/makeinstall
3. 运行nuXmv:
$ ./nuXmv
*** This is nuXmv 1.0.0 (compiled on Wed Feb 19 14:10:45 UTC 2014)
*** Copyright (c) 2014, Fondazione Bruno Kessler
*** For more information on nuXmv see https://nuxmv.fbk.eu
*** or email to
*** Please report bugs at https://nuxmv.fbk.eu/bugs
*** (click on "Login Anonymously" to access)
*** Alternatively write to
*** This version of nuXmv is linked to NuSMV 2.5.devel.
*** For more information on NuSMV see
*** or email to
*** Copyright (C) 2010-2014, Fondazione Bruno Kessler
*** This version of nuXmv is linked to the CUDD library version 2.4.1
*** Copyright (c) 1995-2004, Regents of the University of Colorado
*** This version of nuXmv is linked to the MiniSat SAT solver.
*** See http://minisat.se/MiniSat.html
*** Copyright (c) 2003-2006, Niklas Een, Niklas Sorensson
*** Copyright (c) 2007-2010, Niklas Sorensson
*** This version of nuXmv is linked to MathSAT
*** Copyright (C) 2014 by Fondazione Bruno Kessler
*** Copyright (C) 2014 by University of Trento
*** See http://mathsat.fbk.eu