āļāļĩāđāļāļ·āļāđāļāļ Windows āļāļ·āđāļ Efficient Symbolic Tools āļāļķāđāļāļŠāļēāļĄāļēāļĢāļāļāļēāļ§āļāđāđāļŦāļĨāļāļĢāļĩāļĨāļĩāļŠāļĨāđāļēāļŠāļļāļāđāļāđāļ est-1ed-1-2-Win-mish.exe āļŠāļēāļĄāļēāļĢāļāđāļĢāļĩāļĒāļāđāļāđāļāļāļāđāļĨāļāđāđāļ OnWorks āļāļđāđāđāļŦāđāļāļĢāļīāļāļēāļĢāđāļŪāļŠāļāđāļāļĢāļĩāļŠāļģāļŦāļĢāļąāļāđāļ§āļīāļĢāđāļāļŠāđāļāļāļąāļ
āļāļēāļ§āļāđāđāļŦāļĨāļāđāļĨāļ°āđāļĢāļĩāļĒāļāđāļāđāđāļāļāļāļĩāđāļāļēāļāļāļāļāđāļĨāļāđāļāļĩāđāļāļ·āđāļāļ§āđāļē Efficient Symbolic Tools āļāļĢāđāļāļĄ OnWorks āļāļĢāļĩ
āļāļģāļāļēāļĄāļāļģāđāļāļ°āļāļģāđāļŦāļĨāđāļēāļāļĩāđāđāļāļ·āđāļāđāļĢāļĩāļĒāļāđāļāđāđāļāļāļāļĩāđ:
- 1. āļāļēāļ§āļāđāđāļŦāļĨāļāđāļāļāļāļĨāļīāđāļāļāļąāđāļāļāļĩāđāđāļāļāļĩāļāļĩāļāļāļāļāļļāļ
- 2. āđāļāđāļēāđāļāļāļĩāđ file manager https://www.onworks.net/myfiles.php?username=XXXXX āļāđāļ§āļĒāļāļ·āđāļāļāļđāđāđāļāđāļāļĩāđāļāļļāļāļāđāļāļāļāļēāļĢ
- 3. āļāļąāļāđāļŦāļĨāļāđāļāļāļāļĨāļīāđāļāļāļąāļāļāļĩāđāđāļāļāļąāļ§āļāļąāļāļāļēāļĢāđāļāļĨāđāļāļąāļāļāļĨāđāļēāļ§
- 4. āđāļĢāļīāđāļĄāđāļāļĢāđāļāļĢāļĄāļāļģāļĨāļāļāļāļāļāđāļĨāļāđāļāļāļ OS OnWorks āļāļēāļāđāļ§āđāļāđāļāļāđāļāļĩāđ āđāļāđāđāļāļĢāđāļāļĢāļĄāļāļģāļĨāļāļāļāļāļāđāļĨāļāđāļāļāļ Windows āļāļĩāđāļāļĩāļāļ§āđāļē
- 5. āļāļēāļāļĢāļ°āļāļāļāļāļīāļāļąāļāļīāļāļēāļĢ Windows āļāļāļ OnWorks āļāļĩāđāļāļļāļāđāļāļīāđāļāđāļĢāļīāđāļĄāļāđāļ āđāļāļāļĩāđāļāļąāļ§āļāļąāļāļāļēāļĢāđāļāļĨāđāļāļāļāđāļĢāļē https://www.onworks.net/myfiles.php?username=XXXXX āļāļĢāđāļāļĄāļāļ·āđāļāļāļđāđāđāļāđāļāļĩāđāļāļļāļāļāđāļāļāļāļēāļĢ
- 6. āļāļēāļ§āļāđāđāļŦāļĨāļāđāļāļāļāļĨāļīāđāļāļāļąāđāļāđāļĨāļ°āļāļīāļāļāļąāđāļ
- 7. āļāļēāļ§āļāđāđāļŦāļĨāļāđāļ§āļāđāļāļēāļāļāļĩāđāđāļāđāļāļāļāļāļāđāđāļ§āļĢāđāļĨāļĩāļāļļāļāļāđāļāļīāļŠāļāļĢāļīāļāļīāļ§āļāļąāļāļāļāļāļāļļāļ āđāļĄāļ·āđāļāļāļīāļāļāļąāđāļāđāļĨāđāļ§ āļāļļāļāļŠāļēāļĄāļēāļĢāļāļāļąāļāđāļāļīāļĨāļāļĨāļīāļāļāļĩāđāđāļāļāđāļāļ·āđāļāđāļĢāļĩāļĒāļāđāļāđāđāļāļāļāđāļ§āļĒ Wine āļāļļāļāļĒāļąāļāļŠāļēāļĄāļēāļĢāļāļĨāļāļāđāļāđ PlayOnLinux āļāļķāđāļāđāļāđāļāļāļīāļāđāļāļāļĢāđāđāļāļāđāļāļāļāļĩāļāļ Wine āļāļĩāđāļāļ°āļāđāļ§āļĒāļāļļāļāļāļīāļāļāļąāđāļāđāļāļĢāđāļāļĢāļĄāđāļĨāļ°āđāļāļĄāļĒāļāļāļāļīāļĒāļĄāļāļāļ Windows
āđāļ§āļāđāđāļāđāļāļ§āļīāļāļĩāđāļĢāļĩāļĒāļāđāļāđāļāļāļāļāđāđāļ§āļĢāđ Windows āļāļ Linux āđāļāđāđāļĄāđāļāļģāđāļāđāļāļāđāļāļāđāļāđ Windows Wine āđāļāđāļāđāļĨāđāļĒāļāļĢāđāļāļ§āļēāļĄāđāļāđāļēāļāļąāļāđāļāđāļāļāļ Windows āđāļāļāđāļāđāļāđāļāļāļāļĢāđāļŠāļāļĩāđāļŠāļēāļĄāļēāļĢāļāđāļĢāļĩāļĒāļāđāļāđāđāļāļĢāđāļāļĢāļĄ Windows āđāļāđāđāļāļĒāļāļĢāļāļāļāđāļāļŠāļāđāļāđāļāļ Linux āđāļāļĒāļāļ·āđāļāļāļēāļāđāļĨāđāļ§ Wine āļāļĒāļēāļĒāļēāļĄāļāļģ Windows āļāļĨāļąāļāļĄāļēāđāļāđāđāļŦāļĄāđāđāļŦāđāđāļāļĩāļĒāļāļāļāļāļąāđāļāđāļāđāđāļĢāļīāđāļĄāļāđāļ āđāļāļ·āđāļāđāļŦāđāļŠāļēāļĄāļēāļĢāļāđāļĢāļĩāļĒāļāđāļāđāđāļāļāļāļĨāļīāđāļāļāļąāļ Windows āđāļŦāļĨāđāļēāļāļąāđāļāļāļąāđāļāļŦāļĄāļāđāļāļĒāđāļĄāđāļāļģāđāļāđāļāļāđāļāļāđāļāđ Windows āļāļĢāļīāļāđ
āđāļāļĢāļ·āđāļāļāļĄāļ·āļāļŠāļąāļāļĨāļąāļāļĐāļāđāļāļĩāđāļĄāļĩāļāļĢāļ°āļŠāļīāļāļāļīāļ āļēāļ
Ad
DESCRIPTION
āđāļāđāļāđāļāļāđāļāļĢāļ·āđāļāļāļĄāļ·āļāļŠāļąāļāļĨāļąāļāļĐāļāđāļāļĩāđāļĄāļĩāļāļĢāļ°āļŠāļīāļāļāļīāļ āļēāļ (EST) āđāļāđāļāđāļāļĢāļ·āđāļāļāļĄāļ·āļāļāļĩāđāđāļāđ BDD āļŠāļģāļŦāļĢāļąāļāļāļēāļĢāļāļĢāļ§āļāļŠāļāļāļĢāļ°āļāļāļāļĢāđāļāļĄāļāļąāļāļāļĒāđāļēāļāđāļāđāļāļāļēāļāļāļēāļĢ āļāđāļāļāļĩāļāļāļāļĄāļąāļāļāļ·āļāļāļ§āļēāļĄāļĒāļ·āļāļŦāļĒāļļāđāļ āļāļāļāļēāļŠāļ°āļāļ§āļ āđāļĨāļ°āļāļēāļĢāļāļąāļāļāļēāļĢāļŦāļāđāļ§āļĒāļāļ§āļēāļĄāļāļģāļāļĩāđāļĄāļĩāļāļĢāļ°āļŠāļīāļāļāļīāļ āļēāļ āļĄāļąāļāļāļģāļāļēāļāļ āļēāļĒāđāļāđāļĢāļ°āļāļāļāļāļīāļāļąāļāļīāļāļēāļĢāļāļĩāđāđāļāļāļāđāļēāļāļāļąāļ āļĢāļ§āļĄāļāļąāđāļ Linux āđāļĨāļ° Windows 2000/XP
āļāļđāđāļāļĄ
āļāļēāļĢāļĻāļķāļāļĐāļē, āļ§āļīāļāļĒāļēāļĻāļēāļŠāļāļĢāđ/āļāļēāļĢāļ§āļīāļāļąāļĒ, āļāļļāļāļŠāļēāļŦāļāļĢāļĢāļĄāđāļāļĢāļāļĄāļāļēāļāļĄ
āļŠāđāļ§āļāļāļīāļāļāđāļāļāļđāđāđāļāđ
Win32 (MS Windows), āļĢāļ°āļāļ X Window (X11)
āļ āļēāļĐāļēāđāļāļĢāđāļāļĢāļĄ
āļāļĩ, āļāļĩāđāļāđāļāļĨ
āļŦāļĄāļ§āļāļŦāļĄāļđāđ
āļāļĩāđāļāļ·āļāđāļāļāļāļĨāļīāđāļāļāļąāļāļāļĩāđāļŠāļēāļĄāļēāļĢāļāļāļķāļāļāđāļāļĄāļđāļĨāļāļēāļ https://sourceforge.net/projects/est/ āļĄāļĩāļāļēāļĢāđāļŪāļŠāļāđāđāļ OnWorks āđāļāļ·āđāļāđāļŦāđāļāļģāļāļēāļāļāļāļāđāļĨāļāđāđāļāļ§āļīāļāļĩāļāļĩāđāļāđāļēāļĒāļāļĩāđāļŠāļļāļāļāļēāļāļŦāļāļķāđāļāđāļāļĢāļ°āļāļāļāļāļīāļāļąāļāļīāļāļēāļĢāļāļĢāļĩāļāļāļāđāļĢāļē