- Model checking a redukce behavior protokolů2006 | Matematicko-fyzikální fakulta
- Modelování prostředí pro model checking komponent z hierarchických architekturPublikace bez příslušnosti k fakultě
- UnitCheck: Kombinace Technik Unit Testing a Model Checking2009 | Matematicko-fyzikální fakulta
- Model checking specifikací chování komponent: praktická zkušenost2006 | Matematicko-fyzikální fakulta
- Specifikace a generování prostředí pro model checking softwarových komponent2007 | Matematicko-fyzikální fakulta
- Modelování prostředí pro model checking komponent z hierarchických architektur2007 | 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ě
- Model checking softwarových komponent: kombinace Java PathFinder a Behavior Protocol model checker +22007 | Matematicko-fyzikální fakulta
- Použitelnost model checkeru BLAST: průmyslová případová studie2010 | Matematicko-fyzikální fakulta
- Leveraging Interpolant Strength in Model Checking2012 | Matematicko-fyzikální fakulta
- Model-Checking on Ordered Structures2020 | Matematicko-fyzikální fakulta
- Automatické ověřování specifikace chování komponenty: praktické poznatky2005 | Matematicko-fyzikální fakulta
- Fixed-Template Promise Model Checking Problems2022 | Matematicko-fyzikální fakulta
- FunFrog: Bounded Model Checking with Interpolation-based Function Summarization2012 | Matematicko-fyzikální fakulta
- Systematické testování kritických aplikací reálného času v Javě2010 | Matematicko-fyzikální fakulta
- Model Checking of Concurrent Programs with Static Analysis of Field Accesses2015 | Matematicko-fyzikální fakulta
- Model Checking of Component Behavior Specification: A Real Life Experience2005 | Matematicko-fyzikální fakulta, Ústřední knihovna
- Částečná verifikace softwarových komponent: heuristiky pro konstrukci prostředí2007 | Matematicko-fyzikální fakulta
- Exploiting partial variable assignment in interpolation-based model checking2019 | Matematicko-fyzikální fakulta
- The Golem Horn Solver2023 | Matematicko-fyzikální fakulta
- Predicate Abstraction in Program Verification: Survey and Current Trends2014 | Matematicko-fyzikální fakulta
- On partial state matching2017 | Matematicko-fyzikální fakulta
- Transition Power Abstractions for Deep Counterexample Detection2022 | Matematicko-fyzikální fakulta
- Testing first-order properties for subclasses of sparse graphs2013 | Matematicko-fyzikální fakulta
- A Sound Dynamic Partial Order Reduction Engine for Java Pathfinder2019 | Matematicko-fyzikální fakulta
- SMT-based verification of program changes through summary repair2023 | Matematicko-fyzikální fakulta
- Decomposition-Based Approach for Model-Based Test Generation2019 | Matematicko-fyzikální fakulta
- Zlepšení výkony testování protokolů chování2005 | Matematicko-fyzikální fakulta