Theses on a related topic (having the same keywords):
smt-solving, compact symbolic execution, program analysis, slowbeast, symbolic execution, path explosion problem, formal verificationKeywords ordered alphabetically | Keywords ordered by occurrence rate
51.
Vozárová, Viktória
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Craig's Interpolant in Model Checking Algorithms | Theses on a related topic![Display description Display description](/pics/design/14/z/ico/navodek-plus.png)
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Craig's Interpolant in Model Checking Algorithms | Theses on a related topic
![Display description Display description](/pics/design/14/z/ico/navodek-plus.png)