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 Andreea Costea
have any problems/suggestions/discussions or simply want to learn more
This is an updated version of TeachHIP web interface by Asankhaya Sharma
TeachHIP is based on the web interface of HIPimm developed by Andreea Costea.