From 01ca5e7a852c44c41958b6bc4af321ac4bbc93fa Mon Sep 17 00:00:00 2001 From: "Andreas V. 'netrunner' Meier" Date: Mon, 11 Jul 2005 16:57:00 +0000 Subject: [PATCH] Andreas V. Meier: add nusmv (needs cudd) [2005062311432728496] (https://www.rocklinux.net/submaster) git-svn-id: http://www.rocklinux.org/svn/rock-linux/trunk@6192 c5f82cb5-29bc-0310-9cd0-bff59a50e3bc --- package/avm/nusmv/nusmv.conf | 1 + package/avm/nusmv/nusmv.desc | 45 ++++++++++++++++++++++++++++++++++++ 2 files changed, 46 insertions(+) create mode 100644 package/avm/nusmv/nusmv.conf create mode 100644 package/avm/nusmv/nusmv.desc diff --git a/package/avm/nusmv/nusmv.conf b/package/avm/nusmv/nusmv.conf new file mode 100644 index 000000000..6db157024 --- /dev/null +++ b/package/avm/nusmv/nusmv.conf @@ -0,0 +1 @@ +hook_add preconf 3 "cd nusmv" diff --git a/package/avm/nusmv/nusmv.desc b/package/avm/nusmv/nusmv.desc new file mode 100644 index 000000000..5b742147f --- /dev/null +++ b/package/avm/nusmv/nusmv.desc @@ -0,0 +1,45 @@ + +[COPY] --- ROCK-COPYRIGHT-NOTE-BEGIN --- +[COPY] +[COPY] This copyright note is auto-generated by ./scripts/Create-CopyPatch. +[COPY] Please add additional copyright information _after_ the line containing +[COPY] the ROCK-COPYRIGHT-NOTE-END tag. Otherwise it might get removed by +[COPY] the ./scripts/Create-CopyPatch script. Do not edit this copyright text! +[COPY] +[COPY] ROCK Linux: rock-src/package/avm/nusmv/nusmv.desc +[COPY] ROCK Linux is Copyright (C) 1998 - 2005 Clifford Wolf +[COPY] +[COPY] This program is free software; you can redistribute it and/or modify +[COPY] it under the terms of the GNU General Public License as published by +[COPY] the Free Software Foundation; either version 2 of the License, or +[COPY] (at your option) any later version. A copy of the GNU General Public +[COPY] License can be found at Documentation/COPYING. +[COPY] +[COPY] Many people helped and are helping developing ROCK Linux. Please +[COPY] have a look at http://www.rocklinux.org/ and the Documentation/TEAM +[COPY] file for details. +[COPY] +[COPY] --- ROCK-COPYRIGHT-NOTE-END --- + +[I] New Symbolic Model Verifier + +[T] NuSMV is a re-implementation and extension of SMV, the first model +[T] checker based on BDDs. It has been designed to be an open architecture +[T] for model checking, which can be reliably used for the verification of +[T] industrial designs, as a core for custom verification tools, and as a +[T] test-bed for formal verification techniques. + +[U] http://nusmv.irst.itc.it/ + +[A] Various Authors +[M] Andreas V. 'netrunner' Meier + +[C] extra/scientific + +[L] LGPL +[S] Stable +[V] 2.2.5 +[P] X -----5---9 800.000 + +[D] 114126480 NuSMV-2.2.5.tar.gz http://nusmv.irst.itc.it/distrib/ +