Publikace
- Leveraging Interpolant Strength in Model Checking2012 | Matematicko-fyzikální fakulta
- FunFrog: Bounded Model Checking with Interpolation-based Function Summarization2012 | Matematicko-fyzikální fakulta
- Incremental Upgrade Checking by Means of Interpolation-based Function Summaries2012 | Matematicko-fyzikální fakulta
- Použitelnost model checkeru BLAST: průmyslová případová studie2010 | Matematicko-fyzikální fakulta
- UnitCheck: Kombinace Technik Unit Testing a Model Checking2009 | Matematicko-fyzikální fakulta
- Zlepšení specifikace a verifikace vlastností v nástroji BLAST2009 | Matematicko-fyzikální fakulta
- Model checking a redukce behavior protokolů2006 | Matematicko-fyzikální fakulta
- Threaded Behavior Protocols2013 | Matematicko-fyzikální fakulta
- eVolCheck: Incremental Upgrade Checker for C2013 | Matematicko-fyzikální fakulta
- Strengthening Component Architectures by Modeling Fine-Grained Entities2011 | Matematicko-fyzikální fakulta
Loading network view...