Credit points: 3.0
The lectures will be given remotely through the following Zoom meeting: https://technion.zoom.us/j/8136977234
Using state-of-the art software verification tools for the verification of complicated software systems.
The lectures will be given remotely through the following Zoom meeting: https://technion.zoom.us/j/8136977234
Using state-of-the art software verification tools for the verification of complicated software systems.
In this course, we will construct a Web framework with several applications running on top of it, starting with the low-level details of communication and storage, and up to generation of HTML pages that are sent to clients.
We will use SeaHorn, a verification tool that packages several decades of research and engineering. We will learn how to use SeaHorn, how it works internally, and survey a few general techniques for program analysis.