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.
landscape focused on body positivity, humor, and lifestyle. This content typically targets a local audience in Paraná, blending regional culture with inclusive fashion and social media entertainment. Types of Content and Media Presence
Curitiba has seen a rise in independent podcasts hosted by gordinhas . These shows review movies, TV series, and local theater. The "media content" aspect is crucial here. They critique how Hollywood and Brazilian cinema portray fat characters, often inviting directors from the Curitiba Film Festival for interviews. Their "title" episodes might be called "Gordinha vs. The Screen: Episode 12."
Entertainment content labeled with "Curitiba" often carries a specific aesthetic: urban, often gray-skied, and characterized by a distinct local slang and reserved yet wry humor. By attaching this geographic marker to the term gordinha (an affectionate, though sometimes debated, Portuguese term for a plus-size woman), the media content creates an immediate sense of . It signals to the audience that this isn't a polished, distant celebrity from Rio or São Paulo, but a neighbor—someone seen at the XV de Novembro Street or the Botanical Garden. Media Content and Body Positivity
As Curitiba continues to develop its creative economy, “Gordinha Curitiba” is poised to become a recognized subcategory of Brazilian regional entertainment. With potential for licensing to streaming platforms, collaborations with São Paulo and Rio-based plus-size networks, and even a reality show pilot, the movement is no longer underground – it’s becoming essential media.
landscape focused on body positivity, humor, and lifestyle. This content typically targets a local audience in Paraná, blending regional culture with inclusive fashion and social media entertainment. Types of Content and Media Presence
Curitiba has seen a rise in independent podcasts hosted by gordinhas . These shows review movies, TV series, and local theater. The "media content" aspect is crucial here. They critique how Hollywood and Brazilian cinema portray fat characters, often inviting directors from the Curitiba Film Festival for interviews. Their "title" episodes might be called "Gordinha vs. The Screen: Episode 12." video title gordinha curitiba bbw pornhat extra quality
Entertainment content labeled with "Curitiba" often carries a specific aesthetic: urban, often gray-skied, and characterized by a distinct local slang and reserved yet wry humor. By attaching this geographic marker to the term gordinha (an affectionate, though sometimes debated, Portuguese term for a plus-size woman), the media content creates an immediate sense of . It signals to the audience that this isn't a polished, distant celebrity from Rio or São Paulo, but a neighbor—someone seen at the XV de Novembro Street or the Botanical Garden. Media Content and Body Positivity landscape focused on body positivity, humor, and lifestyle
As Curitiba continues to develop its creative economy, “Gordinha Curitiba” is poised to become a recognized subcategory of Brazilian regional entertainment. With potential for licensing to streaming platforms, collaborations with São Paulo and Rio-based plus-size networks, and even a reality show pilot, the movement is no longer underground – it’s becoming essential media. These shows review movies, TV series, and local theater
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).