[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: NuSmv
From: |
Kevin Rodgers |
Subject: |
Re: NuSmv |
Date: |
Fri, 17 Sep 2004 17:18:55 -0600 |
User-agent: |
Mozilla/5.0 (X11; U; SunOS i86pc; en-US; rv:0.9.4.1) Gecko/20020406 Netscape6/6.2.2 |
Yuwei Wong wrote:
> there is a question about adding some function to my emaces. i used
> NuSmv in my Uni lab, then i download the NuSMV binaries Pre-compiled
> version , but i dont know how to get it work in my computer. r there any
> body can fix my problem? thx a lot.
What's the NuSMV executable called? Assuming it's nusmv.exe, try:
M-! nusmv.exe RET
--
Kevin Rodgers
- NuSmv, Yuwei Wong, 2004/09/13
- Re: NuSmv,
Kevin Rodgers <=