Data-Driven and Synthesis-Guided Generalization in CHC-Solving
The intern will be working on a research project aimed improving scalability and applicability of automated reasoning tool called SPACER by improving the way it deals with special data types. Overall, the goal of this project is to make SPACER a more effective and reliable tool for verifying program correctness.
Voir la description complète du projetArie Gurfinkel
National Technical University of Ukraine
Computer science
Technology; Information and Communications Technology
University of Waterloo
Globalink Research Award
