TeachHIP: Teaching Automated Verification using HIP/SLEEK
TeachHIP, is an online resource for teaching automated verification to students
using the HIP/SLEEK verification system.
Lesson 1 - Introduction and Multiple Specifications [
Lesson 2 - Termination and Structured Specifications [Slides]
Lesson 3 - Immutable Specifications and Concurrency [Slides]
Lesson 4 - Shape Inference and Pure Bi-Abduction [Slides]
- SLEEK Exercises [Txt]
- HIP Exercises [Txt]
Example programs (on the left panel) can be run
Check the content of the stdhip.h file
Please contact Asankhaya Sharma or Andreea Costea
have any problems/suggestions/discussions or simply want to learn more
TeachHIP is based on the web interface of HIPimm developed by Andreea Costea.