- Behavior Java CheckerPublikace bez příslušnosti k fakultě
- Kontrola české gramatiky (český grammar checker)2014 | Filozofická fakulta
- EBP CheckerPublikace bez příslušnosti k fakultě
- Carmen - model checker softwarových komponent +1Publikace bez příslušnosti k fakultě
- Model checking softwarových komponent: kombinace Java PathFinder a Behavior Protocol model checker +22007 | Matematicko-fyzikální fakulta
- Model checking softwarových komponent: úprava Java PathFinder pro spolupráci s Behavior Protocol CheckerPublikace bez příslušnosti k fakultě
- Použitelnost model checkeru BLAST: průmyslová případová studie2010 | Matematicko-fyzikální fakulta
- Nástroj pro ověřování programů v jazyce BPELPublikace bez příslušnosti k fakultě
- Kontrola české gramatiky +1Publikace bez příslušnosti k fakultě
- Nástroj pro ověřování behavior protokolů +3Publikace bez příslušnosti k fakultě
- Distribuovaný ověřovač Behavior protokolů2006 | Matematicko-fyzikální fakulta
- Distribuovaný ověřovač Behavior protokolů +1Publikace bez příslušnosti k fakultě
- Doplněk sady Office 2003: Kontrola české gramatiky +1Publikace bez příslušnosti k fakultě
- Using a grammar checker to validate compliance of processes with workflow models2017 | Matematicko-fyzikální fakulta
- Carmen : Software Component Model Checker2008 | Matematicko-fyzikální fakulta
- A Grammar Checker for CzechPublikace bez příslušnosti k fakultě
- IPFchecker - vyzvěme na souboj patologie plicního intersticia!2018 | 1. lékařská fakulta, Lékařská fakulta v Hradci Králové
- SolCMC: Solidity Compiler's Model Checker2022 | Matematicko-fyzikální fakulta
- The architecture of a grammar checker1994 | Publikace bez příslušnosti k fakultě
- A Prototype of a Grammar Checker for Czech1997 | Matematicko-fyzikální fakulta
- eVolCheck: Incremental Upgrade Checker for C2013 | Matematicko-fyzikální fakulta