Zetav is a tool for verification of systems specified in RT-Logic language.
Verif is a tool for verification and computation trace analysis of systems described using the Modechart formalism. It can also generate a set of restricted RT-Logic formulae from a Modechart specification which can be used in Zetav.
With default configuration file write the system specification (SP) to the sp-formulas.in file and the checked property (security assertion, SA) to the sa-formulas.in file. Launch zetav-verifier.exe to begin the verification.
With the default configuration example files and outputs are load/stored to archive root directory. But using file-browser you are free to select any needed location. To begin launch run.bat (windows) or run.sh (linux / unix). Select Modechart designer and create Modechart model or load it from file.
Thanks to modern Android emulation, you can now play PS2 games on your phone. However, there is one massive problem: A standard PS2 ISO ranges from 1GB to 8GB. Most phones don't have 300GB of free space for 50 games.
Before downloading your ISOs, you need a powerful emulator. There are two primary "verified" options that offer the best performance:
✅ NetherSX2 (download via official GitHub or trusted forums).
Standard PS2 games range from 1GB to over 4GB. While file archivers like 7-Zip or RAR can shrink these for storage, a "verified" working file cannot typically be compressed to a few megabytes without removing essential game data (like cutscenes or music), which often leads to crashes during gameplay. 2. Best Formats for Android Emulation
"Ripping" involves removing "padding" data (junk files used to fill space on a physical disc) or non-essential assets like multi-language audio and high-resolution FMVs (Full Motion Videos).
: While game assets like audio and video can be compressed, shrinking a massive DVD game down to a few megabytes is physically impossible without heavily stripping out game content (like cutting out all cutscenes and music).
Thanks to modern Android emulation, you can now play PS2 games on your phone. However, there is one massive problem: A standard PS2 ISO ranges from 1GB to 8GB. Most phones don't have 300GB of free space for 50 games.
Before downloading your ISOs, you need a powerful emulator. There are two primary "verified" options that offer the best performance: ps2+iso+highly+compressed+for+android+verified
✅ NetherSX2 (download via official GitHub or trusted forums). Thanks to modern Android emulation, you can now
Standard PS2 games range from 1GB to over 4GB. While file archivers like 7-Zip or RAR can shrink these for storage, a "verified" working file cannot typically be compressed to a few megabytes without removing essential game data (like cutscenes or music), which often leads to crashes during gameplay. 2. Best Formats for Android Emulation Before downloading your ISOs, you need a powerful emulator
"Ripping" involves removing "padding" data (junk files used to fill space on a physical disc) or non-essential assets like multi-language audio and high-resolution FMVs (Full Motion Videos).
: While game assets like audio and video can be compressed, shrinking a massive DVD game down to a few megabytes is physically impossible without heavily stripping out game content (like cutting out all cutscenes and music).
If you have further questions, do not hesitate to contact authors ( Jan Fiedor and Marek Gach ).
This work is supported by the Czech Science Foundation (projects GD102/09/H042 and P103/10/0306), the Czech Ministry of Education (projects COST OC10009 and MSM 0021630528), the European Commission (project IC0901), and the Brno University of Technology (project FIT-S-10-1).