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.
Software versioning can be confusing. Version 3.1 (often referred to as "31" in legacy download archives) is the golden build. It was the last version released that did not require a license key for basic functionality, yet it offered full compatibility with Windows 7 (32-bit and 64-bit). It has a tiny memory footprint (under 2MB of RAM) and zero bloatware.
The core functionality enables users to draw custom gestures or utilize pre-defined symbols for actions like Copy, Paste, Close Window, or Desktop View.
| Gesture (Draw while holding Right Mouse) | Action | | :--- | :--- | | | Close window (Alt+F4) | | Down, then Left (┐) | Minimize window | | Up, then Down (Vertical line) | Refresh (F5) | | Circular clockwise motion | Copy (Ctrl+C) | | Counter-clockwise motion | Paste (Ctrl+V) | | Right, then Left (Horizontal line) | Enter (Return key) |
Symbol Commander : http://www.sensiva.com - Internet Archive
Software versioning can be confusing. Version 3.1 (often referred to as "31" in legacy download archives) is the golden build. It was the last version released that did not require a license key for basic functionality, yet it offered full compatibility with Windows 7 (32-bit and 64-bit). It has a tiny memory footprint (under 2MB of RAM) and zero bloatware.
The core functionality enables users to draw custom gestures or utilize pre-defined symbols for actions like Copy, Paste, Close Window, or Desktop View. Sensiva Mouse Software For Windows 7 Free 31
| Gesture (Draw while holding Right Mouse) | Action | | :--- | :--- | | | Close window (Alt+F4) | | Down, then Left (┐) | Minimize window | | Up, then Down (Vertical line) | Refresh (F5) | | Circular clockwise motion | Copy (Ctrl+C) | | Counter-clockwise motion | Paste (Ctrl+V) | | Right, then Left (Horizontal line) | Enter (Return key) | Software versioning can be confusing
Symbol Commander : http://www.sensiva.com - Internet Archive It has a tiny memory footprint (under 2MB
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).