ℹ️
🇨🇿
Hledání
Hledat osoby relevantní k dotazu "State Space"
State Space
Osoba
Předměty
Osoby
Publikace
Studium
RNDr. Jakub Daniel
Externí akademický pracovník na Matematicko-fyzikální fakulta
7 publikací
Publikace
publication
Infinite-state liveness-to-safety via implicit abstraction and well-founded relations
2016 |
Matematicko-fyzikální fakulta
publication
PANDA: Simultaneous Predicate Abstraction and Concrete Execution
2015 |
Matematicko-fyzikální fakulta
publication
Predicate Abstraction in Java Pathfinder
2013 |
Matematicko-fyzikální fakulta
publication
Deconstructing Dynamic Symbolic Execution
2015 |
Matematicko-fyzikální fakulta
publication
Predicate Abstraction in Program Verification: Survey and Current Trends
2014 |
Matematicko-fyzikální fakulta
publication
ODCleanStore: A Framework for Managing and Providing Integrated Linked Data on the Web
2012 |
Matematicko-fyzikální fakulta
publication
Panda
Publikace bez příslušnosti k fakultě
Loading network view...