Jest to aplikacja dla systemu Linux o nazwie PiET: Pi Calculus Equivalences Tester do uruchamiania w systemie Linux online, której najnowszą wersję można pobrać w formacie binaries_linux.zip. Można go uruchomić online w bezpłatnym dostawcy hostingu OnWorks dla stacji roboczych.
Pobierz i uruchom online aplikację o nazwie PiET: Pi Calculus Equivalences Tester, która będzie działać bezpłatnie w systemie Linux online z OnWorks.
Postępuj zgodnie z tymi instrukcjami, aby uruchomić tę aplikację:
- 1. Pobrałem tę aplikację na swój komputer.
- 2. Wpisz w naszym menedżerze plików https://www.onworks.net/myfiles.php?username=XXXXX z wybraną nazwą użytkownika.
- 3. Prześlij tę aplikację w takim menedżerze plików.
- 4. Uruchom emulator online OnWorks Linux lub Windows online lub emulator online MACOS z tej witryny.
- 5. W systemie operacyjnym OnWorks Linux, który właśnie uruchomiłeś, przejdź do naszego menedżera plików https://www.onworks.net/myfiles.php?username=XXXXX z wybraną nazwą użytkownika.
- 6. Pobierz aplikację, zainstaluj ją i uruchom.
PiET: Tester równoważności rachunku Pi do uruchomienia w systemie Linux online
Ad
OPIS
PiET to narzędzie do weryfikacji dziesięciu równoważności behawioralnych rachunku Pi.Publiczność
Zaawansowani użytkownicy końcowi
Interfejs użytkownika
Huśtawka Java
Język programowania
OCaml (cel Caml)
Jest to aplikacja, którą można również pobrać ze strony https://sourceforge.net/projects/piet/. Został on hostowany w OnWorks, aby można go było uruchomić online w najprostszy sposób z jednego z naszych bezpłatnych systemów operacyjnych.
