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. huawei+hg658+v2+firmware+download+updated
| Feature | HG658 (Original) | HG658 v2 | |--------|----------------|----------| | CPU | BCM6358 (300 MHz) | BCM63168 (400 MHz) | | Wi-Fi | 2.4 GHz only (300 Mbps) | Dual-band (2.4 GHz 300 Mbps + 5 GHz 867 Mbps) | | USB Port | USB 2.0 (host) | USB 2.0 (host) | | Flash/RAM | 16 MB / 64 MB | 128 MB / 256 MB | | Default IP | 192.168.1.1 | 192.168.1.1 |
A: Some ISP firmwares lock DNS. Switch to “Bridge Mode” and use a separate router, or request an unlocked generic firmware from Huawei support.
| Feature | HG658 (Original) | HG658 v2 | |--------|----------------|----------| | CPU | BCM6358 (300 MHz) | BCM63168 (400 MHz) | | Wi-Fi | 2.4 GHz only (300 Mbps) | Dual-band (2.4 GHz 300 Mbps + 5 GHz 867 Mbps) | | USB Port | USB 2.0 (host) | USB 2.0 (host) | | Flash/RAM | 16 MB / 64 MB | 128 MB / 256 MB | | Default IP | 192.168.1.1 | 192.168.1.1 |
A: Some ISP firmwares lock DNS. Switch to “Bridge Mode” and use a separate router, or request an unlocked generic firmware from Huawei support.
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).