Search terms: "Clemson RESOLVE"
Jason O. Hallstrom (Florida Atlantic University )
Joseph E. Hollingsworth (Rose-Hulman)
Megan Fowler, Eileen Kraemer and Murali Sitaraman (Clemson University)
Suitable for high school and introductory college CS courses to software engineering courses.
Typical code reasoning involves running code on specific input values and studying outputs. However, this provides limited understanding of the overall space of behaviors of the code. So, how do we learn to reason about code on all inputs? This presentation provides an overview of what you will find in the videos below.
Video: Symbolic ReasoningTool: Begin to Reason
Clemson University School of Computing | 100 McAdams Hall, Clemson, SC 29634