ℹ️
🇬🇧
Search
Search for people relevant for "State Space"
State Space
Person
Class
Person
Publication
Programmes
RNDr. Jakub Daniel
External academic staff at Faculty of Mathematics and Physics
7 publications
Publications
publication
Infinite-state liveness-to-safety via implicit abstraction and well-founded relations
2016 |
Faculty of Mathematics and Physics
publication
PANDA: Simultaneous Predicate Abstraction and Concrete Execution
2015 |
Faculty of Mathematics and Physics
publication
Predicate Abstraction in Java Pathfinder
2013 |
Faculty of Mathematics and Physics
publication
Deconstructing Dynamic Symbolic Execution
2015 |
Faculty of Mathematics and Physics
publication
Predicate Abstraction in Program Verification: Survey and Current Trends
2014 |
Faculty of Mathematics and Physics
publication
ODCleanStore: A Framework for Managing and Providing Integrated Linked Data on the Web
2012 |
Faculty of Mathematics and Physics
publication
Panda
Publication without faculty affiliation
Loading network view...