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.
Let us imagine a well-intentioned director wanted to make Half His Age as a cautionary drama. They would face insurmountable problems:
Every so often, a keyword surfaces from the darker corners of the internet—a string of words that feels like a movie title, a date, and a technical tag. Today, that string is: "Half His Age A Teenage Tragedy -2017- WEB-DL SP..."
It reads like a true-crime documentary or a low-budget independent drama. The phrase “Half His Age” immediately evokes power imbalances, inappropriate relationships, and the devastating consequences that can follow. The subtitle “A Teenage Tragedy” confirms the tone: this is not a romance but a lament, a warning, or a reenactment of real-world sorrow.
But a problem arises immediately. No database—IMDb, Rotten Tomatoes, The Movie Database, or even exhaustive private trackers—lists this exact title. The 2017 date suggests a period when streaming was exploding, and the “WEB-DL” tag indicates the file was ripped directly from a streaming service (Netflix, Amazon, Hulu, etc.) rather than a Blu-ray or TV broadcast. Meanwhile, “SP” could stand for “Special,” “Season Pack,” or a release group’s initials (e.g., SPARKS, SPECTRE).
So, what is this file? And why does it exist?
This article explores three possibilities:
We will also discuss the broader cultural context of “age-gap tragedies” in media, the ethics of seeking out obscure content, and how to safely navigate unverified WEB-DL files.
A film titled Half His Age: A Teenage Tragedy leaves little to the imagination. It promises a narrative structure as old as storytelling itself: forbidden desire, an age-disparate relationship, and a catastrophic ending. But unlike Lolita (1962/1997) or The Reader (2008), which use literary prestige to frame similar dynamics, this title strips away all ambiguity. It names the victim ("Teenage") and the outcome ("Tragedy") upfront, offering no pretense of romance.
The absence of this film from official records is telling. It suggests that either:
But let us assume, for analysis, that Half His Age is a hypothetical indie film. What would it look like? And why does the title alone generate discomfort?
The file "Half His Age: A Teenage Tragedy - 2017 - WEB-DL SP..." likely does not exist as a legitimate film. It is a specter—a title that summarizes a genre of exploitation cinema that society has, rightly, decided to suppress. The "SP" in the filename could stand for "Special" or "Spanish," but it might as well stand for "Sick Propaganda." Half His Age A Teenage Tragedy -2017- WEB-DL SP...
If you encountered this file on a torrent site or a dark web forum, consider why it appeals. The deep truth is: there is no art, no education, and no catharsis in watching a teenager's destruction framed as tragedy for the viewer's entertainment. The only ethical response to such a title is to name it for what it is: a lure.
Real tragedies—the 14-year-olds who die by suicide, the 40-year-old predators sentenced in 2017, the survivors who speak out—deserve more than a WEB-DL. They deserve justice, not cinema.
If you or someone you know is in a relationship with a significant age gap and under 18, contact RAINN (800-656-4673) or your local child protective services.
Half His Age: A Teenage Tragedy (2017) is a three-part adult exploitation miniseries that uses a melodramatic thriller framework to explore themes of grooming, betrayal, and moral corruption. The series follows a high school teacher's illicit affair with a student, which devolves into blackmail and violent crime, transitioning from a forbidden romance into a dark, fatalistic drama. For more details, visit
Half His Age: A Teenage Tragedy (TV Mini Series 2017) - IMDb
This title appears to be a digital copy of a true crime documentary or news special, likely from a series like , or a similar investigative program.
The file name suggests it covers a specific case involving a significant age gap or a tragic event involving a teenager. Based on the 2017 release date and the title, this most likely refers to the 2017 ABC News "20/20" special "Half His Age,"
which investigated the 2013 disappearance and murder of 15-year-old Nichole Cable 🔍 Case Details: Nichole Cable Nichole Cable (15) from Glenburn, Maine. The Crime: She was abducted and murdered in May 2013. The Perpetrator: Kyle Dube (20 at the time). The Method: Dube created a fake Facebook profile
(catfishing) to lure Nichole out of her house under the guise of meeting a different boy. The Motive:
Dube reportedly planned to "rescue" her from an abduction he staged to look like a hero, but the encounter turned fatal when he choked her. 📺 Media Information Release Year: WEB-DL (Web Download from a streaming service) Let us imagine a well-intentioned director wanted to
Often found on platforms like Hulu, ABC.com, or Discovery+ under true crime archives. The documentary highlights the dangers of social media catfishing and the specific warning signs parents should look for. ⚠️ Safety & Digital Literacy
If you are watching this for educational or research purposes, here are the key takeaways emphasized in the report: Verify Identities:
Never meet someone in person who you only know through social media. Privacy Settings:
Keep profiles private and do not share your location with strangers. Reporting:
If you suspect someone is using a fake profile, report it to the platform immediately. legal outcome of this specific case, or are you looking for similar documentaries regarding internet safety?
Half His Age: A Teenage Tragedy (2017) is a three-part adult erotic drama and thriller series. Directed by Bree Mills and Craven Moorehead, the project was produced by Pure Taboo (a subsidiary of Gamma Entertainment) and released in late 2017. It received industry recognition, including the AVN Award for Best Drama in 2018. Plot Summary
The story is framed as a "teen exploitation" drama inspired by real-life events. It follows the downfall of Mr. Davies (played by Charles Dera), a handsome high school teacher who has been involved in a secret affair with his 18-year-old student, Lola (Jill Kassidy). The narrative unfolds across three distinct parts:
Part One: The Affair – Establishes the relationship between Davies and Lola, who believes they will run away together.
Part Two: The Threat – A socially awkward student, Heather (Kristen Scott), discovers the secret and attempts to blackmail the couple.
Part Three: The Aftermath – The situation escalates into violence and a series of "perverse" realizations as Davies loses control of the situation and becomes an accessory to a crime. Production & Cast We will also discuss the broader cultural context
"Half His Age: A Teenage Tragedy" The Affair (TV Episode 2017)
Details * September 19, 2017 (United States) * Production company. Gamma Entertainment. IMDb
Half His Age: A Teenage Tragedy (TV Mini Series 2017) - Awards
Based on the filename you provided, this is not an academic paper. The string WEB-DL SP indicates it is a digital video file (WEB-DL stands for "Web Download") likely containing Spanish subtitles or audio (SP usually stands for Spanish).
"Half His Age: A Teenage Tragedy" is a 2017 Lifetime-style drama TV movie (also known as a "ripped from the headlines" thriller).
Here is the information paper (overview) for the film:
Title: Half His Age: A Teenage Tragedy (also aired as A Teacher's Obsession or Dirty Teacher) Release Year: 2017 Genre: Drama / Thriller / TV Movie Director: Jennifer Goldman Writers: Jennifer Goldman, Michael Gordon
Synopsis: The film follows the story of a high school teacher, Ms. Byrne (played by Josie Davis), who develops an unhealthy, obsessive infatuation with one of her male students, Justin (played by Kelvin Taylor).
After Justin breaks off a secret affair with her to pursue a relationship with a girl his own age, the teacher's obsession spirals out of control. She begins to sabotage his life, destroying his relationships and putting his future in jeopardy. The situation escalates into a dangerous confrontation where the student must escape her increasingly erratic and predatory behavior.
Main Cast:
Notes on the File Name:
Disclaimer: This film is a fictional drama. If you or someone you know is looking for resources regarding inappropriate student-teacher relationships or abuse, please contact local authorities or child protective services.
The Zetav verifier expects the input RRTL formulae to be in the following form:
<rrtlformula> : <formula> [ CONNECTIVE <formula> ] ... <formula> : <predicate> | NOT <formula> | <quantifiedvars> <formula> | ( <formula> ) <predicate> : <function> PRED_SYMB <function> <function> : <function> FUNC_SYMB <function> | @( ACTION_TYPE ACTION , term ) | CONSTANT <quantifiedvars> : QUANTIFIER VARIABLE [ QUANTIFIER VARIABLE ] ...Where predicate symbols (PRED_SYMB) could be inequality operators <, =<, =, >=, >, function symbols (FUNC_SYMB) could be basic + and - operators, action type (ACTION_TYPE) could be starting action (^), stop action ($), transition action (%) and external action (#). Quantifier symbols (QUANTIFIER) could be either an universal quantifier (forall, V) or an existential quantifier (exists, E). Connectives (CONNECTIVE) could be conjunction (and, &, /\), disjunction (or, |, \/), or implication (imply, ->). All variables (VARIABLE) must start with a lower case letter and all actions (ACTION) with an upper case letter. Constants (CONSTANT) could be positive or negative number. RRTL formulae in the input file must be separated using semicolon (;).
V t V u (
( @(% TrainApproach, t) + 45 =< @(% Crossing, u) /\
@(% Crossing, u) < @(% TrainApproach, t) + 60
)
->
( @($ Downgate, t) =< @(% Crossing, u) /\
@(% Crossing, u) =< @($ Downgate, t) + 45
)
)
Verif tool does not deal with direct input. Examples are load from files with extension MCH. Those files are in XML and describes model modes structure and transition between modes. There is no need to directly modify those files. But in some cases it is possible to make some small changes manualy or generate Modechart models in another tool.
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).