Tools
This course will use the following tools, which students should have installed on laptops that can be brought to class for in-class exercises.
Sireum is a programming language, software engineering, and formal methods framework developed at Kansas State University. This class will use Slang (the Sireum programming Language) and Logika (an automated SMT-based verification environment for Slang)
- Download and installation instructions – installation based on git sources is recommended
- Video overview of Slang and Logika