installing Nusmv on linux
0
I have searched in vain to see how to run NuSMV on ubuntu 16.04 .I have installed NuSMV binaries ,I have an executable NuSMV in bin folder but it won't run.I type NuSMV -help but cmd reports NuSMV:command not found.Any idea on how to run NuSMV/or is there anything like installation that I am missing?
model-checking nusmv
asked Nov 22 '18 at 13:58
sak18sak18
11
|
show 2 more comments
0
I have searched in vain to see how to run NuSMV on ubuntu 16.04 .I have installed NuSMV binaries ,I have an executable NuSMV in bin folder but it won't run.I type NuSMV -help but cmd reports NuSMV:command not found.Any idea on how to run NuSMV/or is there anything like installation that I am missing?
model-checking nusmv
asked Nov 22 '18 at 13:58
sak18sak18
11
just addexport PATH=$PATH:/path/to/the/directory/containing/the/NuSMV/binaryto your.bashrcfile
– Patrick Trentin
Nov 22 '18 at 14:26
I am sorry but I don't know what a .bashrc file does.I find bash.bashrc and dot.bashrc on my computer, do you mean the former.
– sak18
Nov 25 '18 at 12:05
1
the file is$HOME/.bashrc; please consider reading some basic introduction tounix/linux, it would greatly help to get you started with the system and dealing with and other small issues :)
– Patrick Trentin
Nov 25 '18 at 12:10
You can find.bashrcin your home directory, typevi ~/.bashrcand paste command given by the @PatrickTrentin, with little changes of course, at the end of that file
– bladekp
Nov 25 '18 at 12:11
1
Sorry missed a:.Working now.Thank You very much @PatrickTrentin @bladekp.
– sak18
Nov 25 '18 at 13:24
|
show 2 more comments
0
0
0
I have searched in vain to see how to run NuSMV on ubuntu 16.04 .I have installed NuSMV binaries ,I have an executable NuSMV in bin folder but it won't run.I type NuSMV -help but cmd reports NuSMV:command not found.Any idea on how to run NuSMV/or is there anything like installation that I am missing?
model-checking nusmv
asked Nov 22 '18 at 13:58
sak18sak18
11
I have searched in vain to see how to run NuSMV on ubuntu 16.04 .I have installed NuSMV binaries ,I have an executable NuSMV in bin folder but it won't run.I type NuSMV -help but cmd reports NuSMV:command not found.Any idea on how to run NuSMV/or is there anything like installation that I am missing?
model-checking nusmv
model-checking nusmv
asked Nov 22 '18 at 13:58
sak18sak18
11
asked Nov 22 '18 at 13:58
sak18sak18
11
edited Nov 25 '18 at 12:04
sak18
asked Nov 22 '18 at 13:58
sak18sak18
11
asked Nov 22 '18 at 13:58
sak18sak18
11
asked Nov 22 '18 at 13:58
sak18sak18
11
11
just addexport PATH=$PATH:/path/to/the/directory/containing/the/NuSMV/binaryto your.bashrcfile
– Patrick Trentin
Nov 22 '18 at 14:26
I am sorry but I don't know what a .bashrc file does.I find bash.bashrc and dot.bashrc on my computer, do you mean the former.
– sak18
Nov 25 '18 at 12:05
1
the file is$HOME/.bashrc; please consider reading some basic introduction tounix/linux, it would greatly help to get you started with the system and dealing with and other small issues :)
– Patrick Trentin
Nov 25 '18 at 12:10
You can find.bashrcin your home directory, typevi ~/.bashrcand paste command given by the @PatrickTrentin, with little changes of course, at the end of that file
– bladekp
Nov 25 '18 at 12:11
1
Sorry missed a:.Working now.Thank You very much @PatrickTrentin @bladekp.
– sak18
Nov 25 '18 at 13:24
|
show 2 more comments
just addexport PATH=$PATH:/path/to/the/directory/containing/the/NuSMV/binaryto your.bashrcfile
– Patrick Trentin
Nov 22 '18 at 14:26
I am sorry but I don't know what a .bashrc file does.I find bash.bashrc and dot.bashrc on my computer, do you mean the former.
– sak18
Nov 25 '18 at 12:05
1
the file is$HOME/.bashrc; please consider reading some basic introduction tounix/linux, it would greatly help to get you started with the system and dealing with and other small issues :)
– Patrick Trentin
Nov 25 '18 at 12:10
You can find.bashrcin your home directory, typevi ~/.bashrcand paste command given by the @PatrickTrentin, with little changes of course, at the end of that file
– bladekp
Nov 25 '18 at 12:11
1
Sorry missed a:.Working now.Thank You very much @PatrickTrentin @bladekp.
– sak18
Nov 25 '18 at 13:24
just add
export PATH=$PATH:/path/to/the/directory/containing/the/NuSMV/binary to your .bashrc file– Patrick Trentin
Nov 22 '18 at 14:26
just add
export PATH=$PATH:/path/to/the/directory/containing/the/NuSMV/binary to your .bashrc file– Patrick Trentin
Nov 22 '18 at 14:26
I am sorry but I don't know what a .bashrc file does.I find bash.bashrc and dot.bashrc on my computer, do you mean the former.
– sak18
Nov 25 '18 at 12:05
I am sorry but I don't know what a .bashrc file does.I find bash.bashrc and dot.bashrc on my computer, do you mean the former.
– sak18
Nov 25 '18 at 12:05
1
1
the file is
$HOME/.bashrc; please consider reading some basic introduction to unix/linux, it would greatly help to get you started with the system and dealing with and other small issues :)– Patrick Trentin
Nov 25 '18 at 12:10
the file is
$HOME/.bashrc; please consider reading some basic introduction to unix/linux, it would greatly help to get you started with the system and dealing with and other small issues :)– Patrick Trentin
Nov 25 '18 at 12:10
You can find
.bashrc in your home directory, type vi ~/.bashrc and paste command given by the @PatrickTrentin, with little changes of course, at the end of that file– bladekp
Nov 25 '18 at 12:11
You can find
.bashrc in your home directory, type vi ~/.bashrc and paste command given by the @PatrickTrentin, with little changes of course, at the end of that file– bladekp
Nov 25 '18 at 12:11
1
1
Sorry missed a
: .Working now.Thank You very much @PatrickTrentin @bladekp.– sak18
Nov 25 '18 at 13:24
Sorry missed a
: .Working now.Thank You very much @PatrickTrentin @bladekp.– sak18
Nov 25 '18 at 13:24
|
show 2 more comments
0
active
oldest
votes
Your Answer
StackExchange.ifUsing("editor", function () {
StackExchange.using("externalEditor", function () {
StackExchange.using("snippets", function () {
StackExchange.snippets.init();
});
});
}, "code-snippets");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "1"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
draft saved
draft discarded
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fstackoverflow.com%2fquestions%2f53432597%2finstalling-nusmv-on-linux%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
0
active
oldest
votes
0
active
oldest
votes
active
oldest
votes
active
oldest
votes
draft saved
draft discarded
Thanks for contributing an answer to Stack Overflow!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
To learn more, see our tips on writing great answers.
draft saved
draft discarded
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fstackoverflow.com%2fquestions%2f53432597%2finstalling-nusmv-on-linux%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
just add
export PATH=$PATH:/path/to/the/directory/containing/the/NuSMV/binaryto your.bashrcfile– Patrick Trentin
Nov 22 '18 at 14:26
I am sorry but I don't know what a .bashrc file does.I find bash.bashrc and dot.bashrc on my computer, do you mean the former.
– sak18
Nov 25 '18 at 12:05
1
the file is
$HOME/.bashrc; please consider reading some basic introduction tounix/linux, it would greatly help to get you started with the system and dealing with and other small issues :)– Patrick Trentin
Nov 25 '18 at 12:10
You can find
.bashrcin your home directory, typevi ~/.bashrcand paste command given by the @PatrickTrentin, with little changes of course, at the end of that file– bladekp
Nov 25 '18 at 12:11
1
Sorry missed a
:.Working now.Thank You very much @PatrickTrentin @bladekp.– sak18
Nov 25 '18 at 13:24