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.
: Keep an eye out for brief appearances by Amy Adams , Paul Rudd , Amy Poehler , and Fred Armisen .
: This film marked the first screen appearance in 13 years for legendary actor Charles Grodin , who plays Sofia’s father, Bob.
Tom (Braff) and his wife Sofia (Peet) move from Manhattan to Ohio after the birth of their son. Tom, struggling to keep a job, takes an entry-level position at his father-in-law’s advertising firm. He soon finds himself in a "passive-aggressive battle" with Chip (Bateman), a competitive creative director who still carries a torch for Sofia and goes to extreme lengths to make Tom look incompetent. The Ex (2006)
: The unrated DVD version is notably shorter than the theatrical release and features a significantly different plot point regarding Chip's paralysis. Plot Summary
: The plot centers on Tom, a chronic underachiever forced to work at his father-in-law's ad agency, where he clashes with Chip—Sofia's high-school ex-boyfriend who uses a wheelchair and works tirelessly to sabotage Tom's career and marriage.
The 2006 comedy film (originally titled Fast Track ) features a high-stakes workplace rivalry and a notable comeback performance by Charles Grodin . While critics found the script "formulaic," the standout feature of the film is Jason Bateman's performance as the hilariously manipulative and smug antagonist, Chip Sanders. Key Movie Highlights
: The film features a strong ensemble of comedy veterans, including Zach Braff (as Tom Reilly), Amanda Peet (as Sofia Kowalski), and Jason Bateman.
: Keep an eye out for brief appearances by Amy Adams , Paul Rudd , Amy Poehler , and Fred Armisen .
: This film marked the first screen appearance in 13 years for legendary actor Charles Grodin , who plays Sofia’s father, Bob. : Keep an eye out for brief appearances
Tom (Braff) and his wife Sofia (Peet) move from Manhattan to Ohio after the birth of their son. Tom, struggling to keep a job, takes an entry-level position at his father-in-law’s advertising firm. He soon finds himself in a "passive-aggressive battle" with Chip (Bateman), a competitive creative director who still carries a torch for Sofia and goes to extreme lengths to make Tom look incompetent. The Ex (2006) Tom, struggling to keep a job, takes an
: The unrated DVD version is notably shorter than the theatrical release and features a significantly different plot point regarding Chip's paralysis. Plot Summary Plot Summary : The plot centers on Tom,
: The plot centers on Tom, a chronic underachiever forced to work at his father-in-law's ad agency, where he clashes with Chip—Sofia's high-school ex-boyfriend who uses a wheelchair and works tirelessly to sabotage Tom's career and marriage.
The 2006 comedy film (originally titled Fast Track ) features a high-stakes workplace rivalry and a notable comeback performance by Charles Grodin . While critics found the script "formulaic," the standout feature of the film is Jason Bateman's performance as the hilariously manipulative and smug antagonist, Chip Sanders. Key Movie Highlights
: The film features a strong ensemble of comedy veterans, including Zach Braff (as Tom Reilly), Amanda Peet (as Sofia Kowalski), and Jason Bateman.
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).