Tools
The Open PCA Pump Artifacts make use of the following tools.
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