https://vik.wiki/index.php?action=history&feed=atom&title=SpinEdit_-_Simple_Promela_Interpreter 2026-05-11T08:24:06Z Az oldal laptörténete a wikiben MediaWiki 1.43.8 https://vik.wiki/index.php?title=SpinEdit_-_Simple_Promela_Interpreter&diff=137281&oldid=prev 2012-10-21T19:57:49Z

<p>Új oldal, tartalma: „{{GlobalTemplate|Infoalap|FormModSpinEdit}} &lt;br&gt; ==Telepítése (Windows)== # Töltsd le a honlapon található három fájlt. &lt;br&gt;(spin.zip, MinGW-2.0.0-3.exe, !Act…”</p> <p><b>Új lap</b></p><div>{{GlobalTemplate|Infoalap|FormModSpinEdit}}<br /> <br /> &lt;br&gt;<br /> <br /> ==Telepítése (Windows)==<br /> # Töltsd le a honlapon található három fájlt. &lt;br&gt;(spin.zip, MinGW-2.0.0-3.exe, !ActiveTcl8.4.1.0-2-win32-ix86.exe)<br /> # Indítsd el a MinGW-2.0.0-3.exe Ez a CygWin készlet minimalizált változata. Ha van Cygwin-ed, akkor ezt nem kell feltenned. &lt;br&gt;A telepítő mindenféle szokásos kérdést tesz fel, ezeket ajánlatos alapértelmezett értékeken hagyni.<br /> # Indítsd el az !ActiveTcl8.4.1.0-2-win32-ix86.exe-t! Ez egy Tcl/Tk környezet, és csak a SPIN grafikus részéhez kell. A telepítés során célszerű mindent az alapértelmezett értékeken hagyni.<br /> # A spin.zip-et csomagold ki egy tetszőleges könyvtárba! A program indítása az xpsin401.tcl állomány segítségével történik (grafikus felület), illetve a parancssoros verzió a spin.bat segítségével érhető el.<br /> # A PATH-hoz hozzá kell adni a MinGW bin alkönyvtárát. &lt;br&gt;(alapeset: c:\minGW\bin) &lt;br&gt;Win 9x és Me esetén: az autoxec.bat-ban &lt;br&gt;Win 2K és XP esetén: a Control Panel\System\Advanced\Enviroment Variables-ben.<br /> # A spin424.exe átnevezése spin.exe -re.<br /> <br /> <br /> ==[http://spinroot.com/spin/whatispin.html HOME]==<br /> ==LTL formula ellenőrzése==<br /> # Lépj be a run/LTL property manager-be. <br /> # írd meg a define-okat a Symbol definitions-ba (egy processz lokális változójára processznév:valtozonev-el hivatkozhatsz). pl: #define p5 (OsszesHibas&gt;0 ) <br /> # Ezután felül a Formulához tudod írni az LTL kifejezést, amiben a definiált szimbólumokra hivatkozhatsz. pl: [] (((p5) -&gt; (&lt;&gt; (p6))))<br /> # Aztán már csak egy Generate-t, majd egy Run-t kell nyomnod. (esetleg a set advanced options-ben keresési mélységet állítanod)<br /> -- [[SomodiTibor|SoTi]]<br /> <br /> <br /> -- [[AdamO|adamo]] - 2006.03.17.<br /> <br /> <br /> [[Category:Infoalap]]</div>

Unknown user