Publications
- Infinite-state liveness-to-safety via implicit abstraction and well-founded relations2016 | Faculty of Mathematics and Physics
- PANDA: Simultaneous Predicate Abstraction and Concrete Execution2015 | Faculty of Mathematics and Physics
- Predicate Abstraction in Program Verification: Survey and Current Trends2014 | Faculty of Mathematics and Physics
- Predicate Abstraction in Java Pathfinder2013 | Faculty of Mathematics and Physics
- PandaPublication without faculty affiliation
- Deconstructing Dynamic Symbolic Execution2015 | Faculty of Mathematics and Physics
- ODCleanStore: A Framework for Managing and Providing Integrated Linked Data on the Web2012 | Faculty of Mathematics and Physics
Loading network view...