@@ -0,0 +1,25 @@
1+{ lib, stdenv, fetchurl }:
2+
3+stdenv.mkDerivation rec {
4+ pname = "nuXmv";
5+ version = "2.0.0";
6+
7+ src = fetchurl {
8+ url = "https://es-static.fbk.eu/tools/nuxmv/downloads/nuXmv-${version}-linux64.tar.gz";
9+ sha256 = "0nndrw994clf8lnlcfzdf1mf00vif3fvd4xsiwcjpbyk12091zqr";
10+ };
11+
12+ installPhase= ''
13+ runHook preInstall
14+ install -Dm755 -t $out/bin ./bin/nuXmv
15+ runHook postInstall
16+ '';
17+
18+ meta = with lib; {
19+ description = "Symbolic model checker for analysis of finite and infinite state systems";
20+ homepage = "https://nuxmv.fbk.eu/pmwiki.php";
21+ license = licenses.unfree;
22+ maintainers = with maintainers; [ siraben ];
23+ platforms = [ "x86_64-linux" ];
24+ };
25+}