installing Nusmv on linux











up vote
0
down vote

favorite












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







share|improve this question
























  • just add export PATH=$PATH:/path/to/the/directory/containing/the/NuSMV/binary to your .bashrc file
    – Patrick Trentin
    Nov 22 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 at 12:05






  • 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 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 at 12:11








  • 1




    Sorry missed a : .Working now.Thank You very much @PatrickTrentin @bladekp.
    – sak18
    Nov 25 at 13:24















up vote
0
down vote

favorite












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







share|improve this question
























  • just add export PATH=$PATH:/path/to/the/directory/containing/the/NuSMV/binary to your .bashrc file
    – Patrick Trentin
    Nov 22 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 at 12:05






  • 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 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 at 12:11








  • 1




    Sorry missed a : .Working now.Thank You very much @PatrickTrentin @bladekp.
    – sak18
    Nov 25 at 13:24













up vote
0
down vote

favorite









up vote
0
down vote

favorite











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







share|improve this question















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






share|improve this question















share|improve this question













share|improve this question




share|improve this question








edited Nov 25 at 12:04

























asked Nov 22 at 13:58









sak18

11




11












  • just add export PATH=$PATH:/path/to/the/directory/containing/the/NuSMV/binary to your .bashrc file
    – Patrick Trentin
    Nov 22 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 at 12:05






  • 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 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 at 12:11








  • 1




    Sorry missed a : .Working now.Thank You very much @PatrickTrentin @bladekp.
    – sak18
    Nov 25 at 13:24


















  • just add export PATH=$PATH:/path/to/the/directory/containing/the/NuSMV/binary to your .bashrc file
    – Patrick Trentin
    Nov 22 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 at 12:05






  • 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 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 at 12:11








  • 1




    Sorry missed a : .Working now.Thank You very much @PatrickTrentin @bladekp.
    – sak18
    Nov 25 at 13:24
















just add export PATH=$PATH:/path/to/the/directory/containing/the/NuSMV/binary to your .bashrc file
– Patrick Trentin
Nov 22 at 14:26






just add export PATH=$PATH:/path/to/the/directory/containing/the/NuSMV/binary to your .bashrc file
– Patrick Trentin
Nov 22 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 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 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 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 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 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 at 12:11






1




1




Sorry missed a : .Working now.Thank You very much @PatrickTrentin @bladekp.
– sak18
Nov 25 at 13:24




Sorry missed a : .Working now.Thank You very much @PatrickTrentin @bladekp.
– sak18
Nov 25 at 13:24

















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',
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


















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






























active

oldest

votes













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.





Some of your past answers have not been well-received, and you're in danger of being blocked from answering.


Please pay close attention to the following guidance:


  • 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














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





















































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







-

Popular posts from this blog

What visual should I use to simply compare current year value vs last year in Power BI desktop

Image
0 I have column SubToBind that shows current year ratio and column PY SubToBind which shows previous year ratio. How can I simply create a card that would be displaying them both in a nice way? Something like that: I cannot achieve that with regular card, I also tried Card with States by OKViz but also unable to see both values. In KPI visual - I dont like the word "Goal", it will confuse end users. Are there any cards or other visuals that would do the job? Thanks powerbi dax powerbi-embedded share | improve this question edited Jun 11 '18 at 20:11 Oleg ...
Read more

How to ignore python UserWarning in pytest?

Image
up vote 1 down vote favorite I am using openpyxl for parsing .xlsm files, and pytest for testing. When I open a file, I get the: OpenPyxl -> UserWarning: Data Validation extension is not supported and will be removed That is not really a problem bcs. program works and I can't change the .xlsm file to fix that. But... When I run pytest with something like: def test_wrong_file_format(): assert check_excel(open_excel('file.xlsm')) == True I will get the warning i mentioned altought check_excel(open_excel('file.xlsm')) returns True and the test should suceed... Is there a nice way to tell the pytest that "It's not a bug it's a feature" and tests should pass even when they get this warning? Is there other way than using something like: with pytest.warns(UserWarning): ...
Read more

Alexandru Averescu

Image
Alexandre Averescu Alexandru Averescu Naissance 3 avril 1859 Babele, Ismail  (ro) près de Izmaïl (principauté de Moldavie) Décès 2 octobre 1938 (à 79 ans) [ 1 ] Bucarest Origine   Roumanie Arme cavalerie Grade Maréchal Années de service 1901-1917 Commandement chef d'état-major général 2 e  armée 3 e  armée Groupe d'armée sud armée du Danube Conflits Guerre russo-turque de 1877-1878 Deuxième guerre balkanique Première Guerre mondiale Faits d'armes Bataille de Turtucaia/Tutrakan Bataille de Mărăști Distinctions Autres fonctions 3 fois président du Conseil des ministres ministre des Affaires étrangères ministre sans portefeuille conseiller de la Couronne modifier   Alexandre Averescu (en roumain : Alexandru Averescu .mw-parser-output .prononciation>a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/8/8a/Loudspeaker.svg/11px-Loudspeaker.svg.png")center ...
Read more