Zetav and Verif tools

  1. About
    2.
  2. Download
    3.
  3. Usage
    4.
  4. Configuration
    5.
  5. Input Format
    6.
  6. Contact
    7.
  7. Acknowledgement

About

Zetav

Zetav is a tool for verification of systems specified in RT-Logic language.

Verif

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.

Download

Zetav

Windows (32-bit)

Verif

Multi-platform (Java needed)
General Rail Road Crossing example

Usage

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.

Verif

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.

Maaveeran Hatim is the Tamil dubbed version of the popular Indian fantasy-adventure television series Hatim, which originally aired on StarPlus. While the original series ran from 2003 to 2004, it has been syndicated and re-aired multiple times, including on STAR Vijay in Tamil. Series Overview

  1. Quest 1: Finding the secret of happiness from a blind king.
  2. Quest 2: Learning the value of friendship from a cursed dinosaur (Jinn).
  3. Quest 3: Defeating the seductive Pari (Fairy) of the Dark Forest.
  4. Quest 4: Resurrecting a dead princess from the Mrityunjay Fort.
  5. Quest 5: Retrieving the blood of a Daitya (demon).
  6. Quest 6: Capturing the shadow of a ghost.
  7. Quest 7: The final battle against the shape-shifting Zargam.

: The original series consisted of roughly 47–50 episodes, depending on broadcast formatting. Where to Watch (All Episodes)

But what exactly is Maaveeran Hatim? Why did it witness a massive resurgence in 2021? And where can fans—new and old—relive the journey of the legendary hero Hatim? This article dives deep into the history, the plot, the dubbed version's appeal, and a detailed episode guide for the 2021 telecast cycle.

The Adventures of Hatim (2013–2014): A remake starring Rajbeer Singh and Pooja Banerjee, which aired for 68 episodes. Where to Watch

, the benevolent Prince of Yemen, who embarks on a heroic quest to save the world from the dark sorcerer

Episode Structure (typical)

  1. Introduction of a problem or riddle affecting a village or character.
  2. Hatim accepts the challenge, often motivated by compassion or duty.
  3. Journey and confrontation with obstacles—puzzles, combat, moral dilemmas.
  4. Resolution where Hatim’s virtues lead to victory or reconciliation.
  5. A brief moral or lesson reinforcing the episode’s message.

Why is Maaveeran Hatim so popular?

Maaveeran Hatim Tamil Dubbed Serial All: Episodes 2021

Maaveeran Hatim is the Tamil dubbed version of the popular Indian fantasy-adventure television series Hatim, which originally aired on StarPlus. While the original series ran from 2003 to 2004, it has been syndicated and re-aired multiple times, including on STAR Vijay in Tamil. Series Overview

  1. Quest 1: Finding the secret of happiness from a blind king.
  2. Quest 2: Learning the value of friendship from a cursed dinosaur (Jinn).
  3. Quest 3: Defeating the seductive Pari (Fairy) of the Dark Forest.
  4. Quest 4: Resurrecting a dead princess from the Mrityunjay Fort.
  5. Quest 5: Retrieving the blood of a Daitya (demon).
  6. Quest 6: Capturing the shadow of a ghost.
  7. Quest 7: The final battle against the shape-shifting Zargam.

: The original series consisted of roughly 47–50 episodes, depending on broadcast formatting. Where to Watch (All Episodes) Maaveeran Hatim Tamil Dubbed Serial All Episodes 2021

But what exactly is Maaveeran Hatim? Why did it witness a massive resurgence in 2021? And where can fans—new and old—relive the journey of the legendary hero Hatim? This article dives deep into the history, the plot, the dubbed version's appeal, and a detailed episode guide for the 2021 telecast cycle. Maaveeran Hatim is the Tamil dubbed version of

The Adventures of Hatim (2013–2014): A remake starring Rajbeer Singh and Pooja Banerjee, which aired for 68 episodes. Where to Watch Quest 1: Finding the secret of happiness from a blind king

, the benevolent Prince of Yemen, who embarks on a heroic quest to save the world from the dark sorcerer

Episode Structure (typical)

  1. Introduction of a problem or riddle affecting a village or character.
  2. Hatim accepts the challenge, often motivated by compassion or duty.
  3. Journey and confrontation with obstacles—puzzles, combat, moral dilemmas.
  4. Resolution where Hatim’s virtues lead to victory or reconciliation.
  5. A brief moral or lesson reinforcing the episode’s message.

Why is Maaveeran Hatim so popular?

Contact

If you have further questions, do not hesitate to contact authors ( Jan Fiedor and Marek Gach ).

Acknowledgement

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).