Publikace
- Infinite-state liveness-to-safety via implicit abstraction and well-founded relations2016 | Matematicko-fyzikální fakulta
- PANDA: Simultaneous Predicate Abstraction and Concrete Execution2015 | Matematicko-fyzikální fakulta
- Predicate Abstraction in Program Verification: Survey and Current Trends2014 | Matematicko-fyzikální fakulta
- Deconstructing Dynamic Symbolic Execution2015 | Matematicko-fyzikální fakulta
- Predicate Abstraction in Java Pathfinder2013 | Matematicko-fyzikální fakulta
- ODCleanStore: A Framework for Managing and Providing Integrated Linked Data on the Web2012 | Matematicko-fyzikální fakulta
- PandaPublikace bez příslušnosti k fakultě
Loading network view...